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]

Authors

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

Osmar Marchi dos Santos

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

Fábio Pasini

This author has not been identified. Look up 'Fábio Pasini' in Google