S. Ivanov and D. Griffioen. Verification of a biphase mark protocol. Tech. Report CSI-R9915, Computing Science Institute, Univ. of Nijmegen, The Netherlands, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Some Lessons from the HyTech Experience - Henzinger, Preußig, Wong-Toi (2001) (12 citations) (Correct)
No context found.
S. Ivanov and D. Griffioen. Verification of a biphase mark protocol. Tech. Report CSI-R9915, Computing Science Institute, Univ. of Nijmegen, The Netherlands, 1999.
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
No context found.
S. Ivanov and W.O.D. Griffioen. Verification of a biphase mark protocol. Report CSI-R9915, Computing Science Institute, University of Nijmegen, August 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC