%0 Conference Paper %1 conf/er/ZhanM04 %A Zhan, Xuede %A Miao, Huaikou %B ER %D 2004 %E Atzeni, Paolo %E Chu, Wesley W. %E Lu, Hongjun %E Zhou, Shuigeng %E Ling, Tok Wang %I Springer %K dblp %P 753-765 %T An Approach to Formalizing the Semantics of UML Statecharts. %U http://dblp.uni-trier.de/db/conf/er/er2004.html#ZhanM04 %V 3288 %@ 3-540-23723-2

@inproceedings{conf/er/ZhanM04, added-at = {2017-05-25T00:00:00.000+0200}, author = {Zhan, Xuede and Miao, Huaikou}, biburl = {https://www.bibsonomy.org/bibtex/2153b2f2a930cf7445242338c200e7af4/dblp}, booktitle = {ER}, crossref = {conf/er/2004}, editor = {Atzeni, Paolo and Chu, Wesley W. and Lu, Hongjun and Zhou, Shuigeng and Ling, Tok Wang}, ee = {https://doi.org/10.1007/978-3-540-30464-7_56}, interhash = {3b61f18226e72aac92d63c2582c94a2b}, intrahash = {153b2f2a930cf7445242338c200e7af4}, isbn = {3-540-23723-2}, keywords = {dblp}, pages = {753-765}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:16:21.000+0200}, title = {An Approach to Formalizing the Semantics of UML Statecharts.}, url = {http://dblp.uni-trier.de/db/conf/er/er2004.html#ZhanM04}, volume = 3288, year = 2004 }