Verifying a sliding window protocol in muCRL

2004

Presented at the International Workshop on Parallel and Distributed Methods in Verification

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	International Workshop on Parallel and Distributed Methods in Verification
Organisation	Software Analysis and Transformation
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Fokkink, W., Groote, J. F., Pang, J., Badban, B., & van de Pol, J. (2004). Verifying a sliding window protocol in muCRL. In Proceedings of International Conference on Algebraic Methodolody and Software Technology 2004 (pp. 148–163). Springer.

See Also
techReport Verifying a sliding window protocol in mCRL W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang, B. Badban (Bahareh) and J.C. van de Pol (Jaco)
techReport Verifying a sliding window protocol in mCRL W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang, B. Badban (Bahareh) and J.C. van de Pol (Jaco)
techReport Verifying a sliding window protocol in mCRL W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang, B. Badban (Bahareh) and J.C. van de Pol (Jaco)
techReport Verifying a sliding window protocol in mCRL W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang, B. Badban (Bahareh) and J.C. van de Pol (Jaco)

Publication