N. Bennacer

	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

Coauthor Index

1	Gerard Florin	[1] [2]
2	C. Fraize	[2]
3	Stéphane Natkin	[1] [2]