Additional Metadata
THEME Software (theme 1)
Publisher Springer
Series Lecture Notes in Computer Science
Conference International Workshop on Parallel and Distributed Methods in Verification
Citation
Fokkink, W.J, Groote, J.F, Pang, J, Badban, B, & van de Pol, J.C. (2004). Verifying a sliding window protocol in muCRL. In Proceedings of International Conference on Algebraic Methodolody and Software Technology 2004 (pp. 148–163). Springer.