Gihwon Kwon
Rewrite rules and Operational Semantics for Model Checking UML Statecharts
UML, 2000.
@inproceedings{UML-2000-Kwon, author = "Gihwon Kwon", booktitle = "{Proceedings of the Third International Conference on the Unified Modeling Language: Advancing the Standard}", doi = "10.1007/3-540-40011-7_39", editor = "Andy Evans and Stuart Kent and Bran Selic", pages = "528--540", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Rewrite rules and Operational Semantics for Model Checking UML Statecharts}", volume = 1939, year = 2000, }