| |
| 1999 | ||
|---|---|---|
| 1 | EE | Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita: Formal Specification and Validation of a Vital Communication Protocol. World Congress on Formal Methods 1999: 1584-1604 |
| 1 | Alessandro Cimatti | [1] |
| 2 | Roberto Sebastiani | [1] |
| 3 | Paolo Traverso | [1] |
| 4 | Adolfo Villafiorita | [1] |