Login / Signup
Correctness Proof for the Alternating Bit Protocol by Assertion Systems.
Horst Müller
Published in:
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Keyphrases
</>
computer systems
knowledge based systems
data sets
intelligent systems
building blocks
databases
knowledge base
expert systems
management system
distributed systems
learning systems
distributed databases
formal analysis