Model-Checking of Infinite Graphs Defined by Graph Grammars

Open Access

Publisher Website

31 December 1997

journal article
Published by Elsevier in Electronic Notes in Theoretical Computer Science

Vol. 5, 16
https://doi.org/10.1016/s1571-0661(05)80677-2

Abstract

No abstract available

Keywords

Cited by 5 articles