Login / Signup
Protocol issues.
Liba Svobodova
Published in:
ACM SIGOPS European Workshop (1985)
Keyphrases
</>
key issues
lightweight
formal analysis
network protocols
coloured petri nets
neural network
machine learning
search engine