Merkliste 
 1 Ergebnisse 
 
1

Verifying Object-Based Graph Grammars:

dos Santos, Osmar Marchi ; Dotti, Fernando Luís ; Ribeiro, Leila
Electronic Notes in Theoretical Computer Science.  109 (2004)  - p. 125-136 , 2004