Formal Verification of the Alpha 21364 Network Protocol

@inproceedings{Mokkedem2000FormalVO,
  title={Formal Verification of the Alpha 21364 Network Protocol},
  author={Abdelillah Mokkedem and Tim Leonard},
  booktitle={TPHOLs},
  year={2000}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

SOFSEM 2001: Theory and Practice of Informatics

Lecture Notes in Computer Science • 2001
View 6 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…