%0 Conference Paper %1 Prehofer13 %A Prehofer, Christian %B 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'13) %D 2013 %K statecharts %T Behavioral Refinement and Compatibility of Statechart Extensions

@inproceedings{Prehofer13, added-at = {2014-11-19T09:49:09.000+0100}, author = {Prehofer, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2e5119761fe29fd35cf5ce6d596cae800/andiv}, booktitle = {9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'13)}, interhash = {0e12b37f63bbbaf795932da6477913c2}, intrahash = {e5119761fe29fd35cf5ce6d596cae800}, keywords = {statecharts}, timestamp = {2014-11-19T09:52:07.000+0100}, title = {Behavioral Refinement and Compatibility of Statechart Extensions}, year = 2013 }