%0 Journal Article %1 journals/entcs/Prehofer13 %A Prehofer, Christian %D 2013 %J Electron. Notes Theor. Comput. Sci. %K %P 65-78 %T Behavioral Refinement and Compatibility of Statechart Extensions. %U http://dblp.uni-trier.de/db/journals/entcs/entcs295.html#Prehofer13 %V 295

@article{journals/entcs/Prehofer13, added-at = {2023-12-12T18:08:48.000+0100}, author = {Prehofer, Christian}, biburl = {https://www.bibsonomy.org/bibtex/28684fa10c3833fb361065947bb78bef1/admin}, ee = {https://doi.org/10.1016/j.entcs.2013.04.006}, interhash = {0e12b37f63bbbaf795932da6477913c2}, intrahash = {8684fa10c3833fb361065947bb78bef1}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {65-78}, timestamp = {2023-12-12T18:08:48.000+0100}, title = {Behavioral Refinement and Compatibility of Statechart Extensions.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs295.html#Prehofer13}, volume = 295, year = 2013 }