%0 Conference Paper %1 lam_5a_consistency %A Lam, Vitus S. W. %A Padget, Julian %B ECOOP 2005 - Object-Oriented Programming %D 2005a %J Lecture Notes in Computer Science %K _hardcopy refinement semantics 2005 statecharts hierarchy %P 412--427 %R http://dx.doi.org/10.1007/11531142_18 %T Consistency Checking of Statechart Diagrams of a Class Hierarchy %U http://dx.doi.org/10.1007/11531142_18 %V 3586

@inproceedings{lam_5a_consistency, added-at = {2009-02-11T20:08:07.000+0100}, author = {Lam, Vitus S. W. and Padget, Julian}, biburl = {https://www.bibsonomy.org/bibtex/264b4770517665342c6a6a52742723175/leonardo}, booktitle = {ECOOP 2005 - Object-Oriented Programming}, citeulike-article-id = {744518}, doi = {http://dx.doi.org/10.1007/11531142_18}, interhash = {2f875c1fdabce1b7b5800b9bf2925c7e}, intrahash = {64b4770517665342c6a6a52742723175}, journal = {Lecture Notes in Computer Science}, keywords = {_hardcopy refinement semantics 2005 statecharts hierarchy}, pages = {412--427}, posted-at = {2006-07-07 02:28:09}, priority = {5}, timestamp = {2009-02-11T20:08:09.000+0100}, title = {Consistency Checking of Statechart Diagrams of a Class Hierarchy}, url = {http://dx.doi.org/10.1007/11531142_18}, volume = 3586, year = {2005a} }