TAPAs: A Tool for the Analysis of Process Algebras / Calzolai, F; DE NICOLA, R; Loreti, M; Tiezzi, F. - In: TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY. - ISSN 1867-7193. - 5100:(2008), pp. 54-70.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

