Jacques Voiron (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 M. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron: Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE 1990: 345-352

3 Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron: What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? Automatic Verification Methods for Finite State Systems 1989: 275-285

2 Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron: Verification in XESAR of the Sliding Window Protocol. PSTV 1987: 235-248

Selection of 3 from 5 records - Jacques Voiron has 11 coauthors

4		M. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron: Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE 1990: 345-352
3		Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron: What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? Automatic Verification Methods for Finite State Systems 1989: 275-285
2		Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron: Verification in XESAR of the Sliding Window Protocol. PSTV 1987: 235-248