Items where Author is "Calzolai, Francesco"
Number of items: 4. CaCalzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008) DeCalzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008) LoCalzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008) TiCalzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008) |
