| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 3 |      | Moataz Kamel, Stefan Leue: VIP: A Visual Editor and Compiler for v-Promela. TACAS 2000: 471-486 |
| 2 | | Moataz Kamel, Stefan Leue: Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. STTT 2(4): 394-409 (2000) |
| 1999 | ||
| 1 | | Moataz Kamel, Stefan Leue: VIP: A Visual Interface for Promela. SPIN 1999: 153 |
| 1 | Stefan Leue | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page