| |
| 2004 | ||
|---|---|---|
| 2 | EE | Cécile Bui Thanh, Hanna Klaudel: Object-Oriented Modelling with High-Level Modular Petri Nets. IFM 2004: 287-306 |
| 2002 | ||
| 1 | EE | Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau: Petri nets with causal time for system verification. Electr. Notes Theor. Comput. Sci. 68(5): (2002) |
| 1 | Hanna Klaudel | [1] [2] |
| 2 | Franck Pommereau | [1] |