EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Polack, F.A.C.
Home Policy Brochure Browse Search User Area Contact Help

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 Mon Mar 27 06:36:23 CEST 2017.