Back to Search Start Over

Verifying a Sliding Window Protocol in mCRL

Authors :
Fokkink, W.
Groote, J. P.
Pang, J.
Badban, B.
J.C. van de Pol
Theoretical Computer Science
Source :
Vrije Universiteit Amsterdam, Scopus-Elsevier, Lecture Notes in Computer Science, 3116, 148-163. Springer Verlag, Fokkink, W J, Groote, J F, Pang, J, Badban, B & van de Pol, J C 2004, ' Verifying a Sliding Window Protocol in mCRL ', Lecture Notes in Computer Science, vol. 3116, pp. 148-163 .

Details

ISSN :
03029743
Database :
OpenAIRE
Journal :
Vrije Universiteit Amsterdam, Scopus-Elsevier, Lecture Notes in Computer Science, 3116, 148-163. Springer Verlag, Fokkink, W J, Groote, J F, Pang, J, Badban, B & van de Pol, J C 2004, ' Verifying a Sliding Window Protocol in mCRL ', Lecture Notes in Computer Science, vol. 3116, pp. 148-163 .
Accession number :
edsair.dedup.wf.001..720fbca0c820030dd563d4dc39cec947

Tools

Authors Abstract Subjects Details