Michel Diaz profile picture

Michel Diaz

Is this your author profile? Create an account to customize it!

Stand Alone

Petri nets
Juste au-delà des yeux
Digital Home Networking
The Formal description technique Estelle
CoNEXT 2005 : Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology : October 24-27, 2005, Toulouse, France
Protocol Specification, Testing, and Verification, V Proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification
Formal Description Techniques, V Proceedings of the IFIP TC6 - WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol - FORTE 92, Perros-Guirec, France, 13-16 October 1992