| 2001 | ||
|---|---|---|
| 1 | EE | Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV 2001: 391-395 |
| 1 | Etienne Closse | [1] |
| 2 | Michel Poize | [1] |
| 3 | Jacques Pulou | [1] |
| 4 | Joseph Sifakis | [1] |
| 5 | Daniel Weil | [1] |
| 6 | Sergio Yovine | [1] |