%0 Conference Paper %1 conf/indin/PrahoferZ13 %A Prähofer, Herbert %A Zoitl, Alois %B INDIN %D 2013 %I IEEE %K dblp %P 578-585 %T Verification of hierarchical IEC 61499 component systems with behavioral event contracts. %U http://dblp.uni-trier.de/db/conf/indin/indin2013.html#PrahoferZ13 %@ 978-1-4799-0752-6

@inproceedings{conf/indin/PrahoferZ13, added-at = {2014-01-21T00:00:00.000+0100}, author = {Prähofer, Herbert and Zoitl, Alois}, biburl = {https://www.bibsonomy.org/bibtex/2e54850143677cbe03e3053577a76bffc/dblp}, booktitle = {INDIN}, crossref = {conf/indin/2013}, ee = {http://dx.doi.org/10.1109/INDIN.2013.6622948}, interhash = {1a0d186a5dff2a079013ebc2dcef337d}, intrahash = {e54850143677cbe03e3053577a76bffc}, isbn = {978-1-4799-0752-6}, keywords = {dblp}, pages = {578-585}, publisher = {IEEE}, timestamp = {2015-06-18T18:38:21.000+0200}, title = {Verification of hierarchical IEC 61499 component systems with behavioral event contracts.}, url = {http://dblp.uni-trier.de/db/conf/indin/indin2013.html#PrahoferZ13}, year = 2013 }