| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 5 |      | Dominique Ambroise, Brigitte Rozoy, Jean Saquet: Deadlock Detection in Distributed Systems. Computers and Their Applications 2003: 210-213 |
| 2001 | ||
| 4 |  | Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy: MARRELLA and the Verification of an Embedded System. FoSSaCS 2001: 409-412 |
| 1996 | ||
| 3 | | Dominique Ambroise, Brigitte Rozoy: Marella: A Tool for Simulation and Verification. CAV 1996: 458-461 |
| 2 | | Dominique Ambroise, Brigitte Rozoy: Using Events Structures for the Efficient Analysis of State Graphs (Abstract). PODC 1996: 123 |
| 1 | | Dominique Ambroise, Brigitte Rozoy: Marrella: a Tool to Analyse the Graph of States. Parallel Processing Letters 6(4): 583-594 (1996) |
| 1 | Patrick Augé | [4] |
| 2 | Kamel Bouchefra | [4] |
| 3 | Brigitte Rozoy | [1] [2] [3] [4] [5] |
| 4 | Jean Saquet | [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page