Login / Signup
Issues and Tools for Protocol Specification.
Jean-Pierre Ansart
Published in:
Advanced Course: Distributed Systems (1984)
Keyphrases
</>
protocol specification
formal methods
database
case study
expert systems
communication protocols