%0 Conference Paper %1 journals/entcs/Prehofer13 %A Prehofer, Christian %B FESCA %D 2012 %E Buhnova, Barbora %E Happe, Lucia Kapová %E Kofron, Jan %I Elsevier %K dblp %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

@inproceedings{journals/entcs/Prehofer13, added-at = {2022-11-22T00:00:00.000+0100}, author = {Prehofer, Christian}, biburl = {https://www.bibsonomy.org/bibtex/235b708e8b68ac6389d03623bff0be085/dblp}, booktitle = {FESCA}, crossref = {conf/fesca/2012}, editor = {Buhnova, Barbora and Happe, Lucia Kapová and Kofron, Jan}, ee = {https://www.wikidata.org/entity/Q113317999}, interhash = {5f28507c1f291ba63e563b90df2635a2}, intrahash = {35b708e8b68ac6389d03623bff0be085}, keywords = {dblp}, pages = {65-78}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T01:57:59.000+0200}, title = {Behavioral Refinement and Compatibility of Statechart Extensions.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs295.html#Prehofer13}, volume = 295, year = 2012 }