The SCEAS System
Navigation Menu

Search the dblp DataBase


Jean Christophe Lloret: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:379-383 [Conf]
  2. Pierre Azéma, François Vernadat, Jean Christophe Lloret
    Requirement Analysis for Communication Protocols. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:286-293 [Conf]
  3. Jean Christophe Lloret, Pierre Azéma, François Vernadat
    Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:96-105 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:187-212 [Conf]

Search in 0.001secs, Finished in 0.001secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002