| 1992 |
|---|
| 4 | | Jean Christophe Lloret,
J. L. Roux,
B. Algayres,
M. Chamontin:
Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial Tool.
Application and Theory of Petri Nets 1992: 379-383 |
| 1990 |
|---|
| 3 | | Jean Christophe Lloret,
Pierre Azéma,
François Vernadat:
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets.
CAV 1990: 96-105 |
| 1989 |
|---|
| 2 | | Pierre Azéma,
François Vernadat,
Jean Christophe Lloret:
Requirement Analysis for Communication Protocols.
Automatic Verification Methods for Finite State Systems 1989: 286-293 |
| 1 | | Pierre Azéma,
François Vernadat,
Jean Christophe Lloret:
Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés.
SPLT 1989: 187-212 |
