Verifying Object-based Graph Grammars

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini. Verifying Object-based Graph Grammars. Software and Systems Modeling, 5(3):289-311, 2006. [doi]

Abstract

Abstract is missing.