Vandin, Andrea, IMT Institute for Advanced Studies Lucca, Italy, Italy
-
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 - Articles
Towards a Maude Tool for Model Checking Temporal Graph Properties
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.