Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2008
Badban, B. and Fokkink, W.J. and van de Pol, J.C.
(2008)
Mechanical verification of a two-way sliding window protocol.
In: Communicating Process Architectures 2008, 7-10 Sep 2008, York, UK.
pp. 179-202.
Concurrent Systems Engineering Series 66.
IOS Press.
ISBN 978-1-58603-907-3
This list was generated on Thu May 24 07:19:28 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||