Graph Transformations
From MaRDI portal
Publication:5292609
DOI10.1007/B100934zbMath1116.68562OpenAlexW4214712303MaRDI QIDQ5292609
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100934
Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
This page was built for publication: Graph Transformations