CONCUR'04, P. Gardner and N. Yoshida, eds., Springer
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach
BALDAN, Paolo;
2004-01-01
Abstract
CONCUR'04, P. Gardner and N. Yoshida, eds., SpringerFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.