| |
| 2008 | ||
|---|---|---|
| 1 | EE | 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) |
| 1 | Michele Loreti | [1] |
| 2 | Rocco De Nicola | [1] |
| 3 | Francesco Tiezzi | [1] |