Additional Metadata
THEME Software (theme 1)
Publisher IOS Press
Conference Conference on Communicating Process Architectures
Citation
Badban, B, Fokkink, W.J, & van de Pol, J.C. (2008). Mechanical verification of a two-way sliding window protocol. In Proc. 9th Conference on Communicating Process Architectures (pp. 179–202). IOS Press.