%0 Conference Paper %1 conf/webi/TanG10 %A Tan, Xing %A Gruninger, Michael %B Web Intelligence %D 2010 %E Huang, Jimmy Xiangji %E King, Irwin %E Raghavan, Vijay V. %E Rüger, Stefan M. %I IEEE Computer Society %K dblp %P 324-327 %T Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective. %U http://dblp.uni-trier.de/db/conf/webi/webi2010.html#TanG10 %@ 978-0-7695-4191-4

@inproceedings{conf/webi/TanG10, added-at = {2023-03-24T00:00:00.000+0100}, author = {Tan, Xing and Gruninger, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2ee018e4b4d8308c98712a7b6e53b02c4/dblp}, booktitle = {Web Intelligence}, crossref = {conf/webi/2010}, editor = {Huang, Jimmy Xiangji and King, Irwin and Raghavan, Vijay V. and Rüger, Stefan M.}, ee = {https://doi.ieeecomputersociety.org/10.1109/WI-IAT.2010.135}, interhash = {dd9624ba35c0663e2fce2751d4790ab7}, intrahash = {ee018e4b4d8308c98712a7b6e53b02c4}, isbn = {978-0-7695-4191-4}, keywords = {dblp}, pages = {324-327}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:37:10.000+0200}, title = {Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective.}, url = {http://dblp.uni-trier.de/db/conf/webi/webi2010.html#TanG10}, year = 2010 }