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.


