Heußner, Alexander
-
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 - Articles
Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST