# Towards the specification and verification of modal properties for structured systems

Vandin, Andrea Towards the specification and verification of modal properties for structured systems. In: Graph Transformations. Lecture Notes in Computer Science (7562). Springer, pp. 423-425. ISBN 978-3-642-33654-6 (2013)

 Preview
PDF - Draft Version