Marc Andreu
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1992
Analyzing a space-protocol: from specification, simulation to experimentation.
Proceedings of the Formal Description Techniques, 1992