An Axiomatic Description of the Transport Protocol of Cyclades
Rechnernetze und Datenfernverarbeitung, Fachtagung der GI und NTG
On the modelling, analysis and design of protocols - a special class of software structures
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Constructing verified and reliable communications processing systems
ACM SIGSOFT Software Engineering Notes
The Beginning of Model Checking: A Personal Perspective
25 Years of Model Checking
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Concurrency, Compositionality, and Correctness
| Hi-index | 0.00 |