Model-Checking of Infinite Graphs Defined by Graph Grammars

• 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

Keywords

• REGULAR GRAPH
• MODEL CHECKING
• SATISFIABILITY