Browse by Author ID

Group by: Item Type | Date | No Grouping

Jump to: 2013

Number of items: 1.

2013

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 Nov 27 00:25:47 2024 CET.

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.