Verifying Object-Based Graph Grammars

Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro. Verifying Object-Based Graph Grammars. Electronic Notes in Theoretical Computer Science, 109:125-136, 2004. [doi]

Abstract

Abstract is missing.