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]

Authors

Osmar Marchi dos Santos

This author has not been identified. Look up 'Osmar Marchi dos Santos' in Google

Fernando Luís Dotti

This author has not been identified. Look up 'Fernando Luís Dotti' in Google

Leila Ribeiro

This author has not been identified. Look up 'Leila Ribeiro' in Google