2008-09-01
Mechanical verification of a two-way sliding window protocol
Publication
Publication
Presented at the
Conference on Communicating Process Architectures
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.
|