Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi. TAPAs: A Tool for the Analysis of Process Algebras. T. Petri Nets and Other Models of Concurrency, 1:54-70, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.