dblp.uni-trier.dewww.uni-trier.de

Jean Christophe Lloret

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1B. Algayres [4]
2Pierre Azéma [1] [2] [3]
3M. Chamontin [4]
4J. L. Roux [4]
5François Vernadat [1] [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)