Browse by Author ID

Group by: Item Type | Date | No Grouping

Jump to: Book Section

Number of items: 1.

Book Section

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)

This list was generated on Wed May 1 20:27:05 2024 CEST.

IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.