|
Search the dblp DataBase
Jacques Voiron:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:275-285 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:345-352 [Conf]
- Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron
Active Replication in Delta-4. [Citation Graph (0, 0)][DBLP] FTCS, 1992, pp:28-37 [Conf]
- Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron
Verification of protocol specificaitons using the CESAR system. [Citation Graph (0, 0)][DBLP] PSTV, 1985, pp:71-90 [Conf]
- Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron
Verification in XESAR of the Sliding Window Protocol. [Citation Graph (0, 0)][DBLP] PSTV, 1987, pp:235-248 [Conf]
Search in 0.001secs, Finished in 0.002secs
|