Marc Andreu, Michèle Haziza, Claude Jard, Jean-Marc Jézéquel. Analyzing a space-protocol: from specification, simulation to experimentation.
Proc. of the Fifth International Conference on Formal Description Techniques, Oct 1992, Perros-Guirrec, France.
⟨hal-00765076⟩