Login / Signup
Verification of Multiprocess Probabilistic Protocols.
Amir Pnueli
Lenore D. Zuck
Published in:
PODC (1984)
Keyphrases
</>
model checking
cryptographic protocols
bayesian networks
probabilistic model
generative model
protocol specification
databases
website
peer to peer
formal verification
asynchronous circuits