Checking Bisimilarity for Attributed Graph Transformation

Export metadata

  • Export Bibtex

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:F. Orejas, A. Boronat, U. Golas, N. Mylonakis
Editor:E. Pfenning
Document Type:In Proceedings
Parent Title (English):Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013
Volume:7794
First Page:113
Last Page:128
Series:LNCS
Publisher:Springer
Year of first publication:2013
DOI:http://dx.doi.org/10.1007/978-3-642-37075-5_8

$Rev: 13581 $