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

Didier Vergamini

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

1992
7 Eric Madelaine, Didier Vergamini: Verification of Communicating Processes by Means of Automata Reduction and Abstraction. STACS 1992: 613-614
1991
6 Eric Madelaine, Didier Vergamini: Tool Demonstration: Tools for Process Algebras. FORTE 1991: 463-466
5 Eric Madelaine, Didier Vergamini: Specification and Verification of a Sliding Window Protocol in LOTOS. FORTE 1991: 495-510
1990
4 Eric Madelaine, Didier Vergamini: Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV 1990: 353-363
1989
3 Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini: Process Calculi, from Theory to Practice: Verification Tools. Automatic Verification Methods for Finite State Systems 1989: 1-10
2 Eric Madelaine, Didier Vergamini: AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. FORTE 1989: 61-66
1988
1 Didier Vergamini: Verification of distributed systems: an experiment. Formal Properties of Finite Automata and Applications 1988: 249-259

Coauthor Index

1Gérard Boudol [3]
2Eric Madelaine [2] [4] [5] [6] [7]
3Valérie Roy [3]
4Robert de Simone [3]

Colors in the list of coauthors

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