Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)
  • search hit 1 of 1
Back to Result List

Checking Bisimilarity for Attributed Graph Transformation

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics - number of accesses to the document
Metadaten
Author:Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis
Editor:Frank 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:https://doi.org/10.1007/978-3-642-37075-5_8
Accept ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.