Andrea Vandin. Specification and Verification of Modal Properties for Structured Systems. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings. Volume 7562 of Lecture Notes in Computer Science, pages 423-425, Springer, 2012. [doi]
Abstract is missing.