| |
| 1994 | ||
|---|---|---|
| 2 | N. Bennacer, Gerard Florin, C. Fraize, Stéphane Natkin: Probabilistic Validation of a Remote Procedure Call Protocol. Application and Theory of Petri Nets 1994: 59-78 | |
| 1 | N. Bennacer, Gerard Florin, Stéphane Natkin: Probabilistic Validation using Worst Event Driven amd Importance Sampling Simulation. SRDS 1994: 84-93 | |
| 1 | Gerard Florin | [1] [2] |
| 2 | C. Fraize | [2] |
| 3 | Stéphane Natkin | [1] [2] |