%0 Conference Paper %1 conf/eurocast/FiedorGC11 %A Fiedor, Jan %A Gach, Marek %A Ceska, Milan %B EUROCAST (1) %D 2011 %E Moreno-Díaz, Roberto %E Pichler, Franz %E Quesada-Arencibia, Alexis %I Springer %K dblp %P 559-567 %T A Novel Approach to Modechart Verification of Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/eurocast/eurocast2011-1.html#FiedorGC11 %V 6927 %@ 978-3-642-27548-7

@inproceedings{conf/eurocast/FiedorGC11, added-at = {2019-10-29T00:00:00.000+0100}, author = {Fiedor, Jan and Gach, Marek and Ceska, Milan}, biburl = {https://www.bibsonomy.org/bibtex/2e54704070fd5403901714ce92318a944/dblp}, booktitle = {EUROCAST (1)}, crossref = {conf/eurocast/2011-1}, editor = {Moreno-Díaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis}, ee = {https://doi.org/10.1007/978-3-642-27549-4_72}, interhash = {ad98fb98ae584ba2c1711312cbc8055a}, intrahash = {e54704070fd5403901714ce92318a944}, isbn = {978-3-642-27548-7}, keywords = {dblp}, pages = {559-567}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:07:42.000+0200}, title = {A Novel Approach to Modechart Verification of Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/eurocast/eurocast2011-1.html#FiedorGC11}, volume = 6927, year = 2011 }