%0 Journal Article %1 journals/jot/SuryadevaraCR08 %A Suryadevara, Jagadish %A Chung, Lawrence %A Shyamasundar, R. K. %D 2008 %J J. Object Technol. %K dblp %N 8 %P 187-207 %T cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems. %U http://dblp.uni-trier.de/db/journals/jot/jot7.html#SuryadevaraCR08 %V 7

@article{journals/jot/SuryadevaraCR08, added-at = {2021-02-17T00:00:00.000+0100}, author = {Suryadevara, Jagadish and Chung, Lawrence and Shyamasundar, R. K.}, biburl = {https://www.bibsonomy.org/bibtex/21e799989756d23ed636f6ff9ea5fdb42/dblp}, ee = {https://doi.org/10.5381/jot.2008.7.8.a7}, interhash = {e720703565f962e80e97914ac6f91a95}, intrahash = {1e799989756d23ed636f6ff9ea5fdb42}, journal = {J. Object Technol.}, keywords = {dblp}, number = 8, pages = {187-207}, timestamp = {2024-04-08T12:35:54.000+0200}, title = {cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems.}, url = {http://dblp.uni-trier.de/db/journals/jot/jot7.html#SuryadevaraCR08}, volume = 7, year = 2008 }