%0 Conference Paper %1 conf/gg/Vandin12 %A Vandin, Andrea %B ICGT %D 2012 %E Ehrig, Hartmut %E Engels, Gregor %E Kreowski, Hans-Jörg %E Rozenberg, Grzegorz %I Springer %K dblp %P 423-425 %T Specification and Verification of Modal Properties for Structured Systems. %U http://dblp.uni-trier.de/db/conf/gg/icgt2012.html#Vandin12 %V 7562 %@ 978-3-642-33653-9

@inproceedings{conf/gg/Vandin12, added-at = {2017-06-15T00:00:00.000+0200}, author = {Vandin, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/2a81309c0329b4b9f3cd979c843266d9d/dblp}, booktitle = {ICGT}, crossref = {conf/gg/2012}, editor = {Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans-Jörg and Rozenberg, Grzegorz}, ee = {https://doi.org/10.1007/978-3-642-33654-6_31}, interhash = {0c62040f5e12082bc387293f4f1e87c5}, intrahash = {a81309c0329b4b9f3cd979c843266d9d}, isbn = {978-3-642-33653-9}, keywords = {dblp}, pages = {423-425}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:36:41.000+0200}, title = {Specification and Verification of Modal Properties for Structured Systems.}, url = {http://dblp.uni-trier.de/db/conf/gg/icgt2012.html#Vandin12}, volume = 7562, year = 2012 }