EEMCS

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

EEMCS EPrints Service


Editor: Bujorianu, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2010

Kordy, P.T. and Langerak, R. and Polderman, J.W. (2010) Re-verification of a Lip Synchronization Protocol using Robust Reachability. Electronic Proceedings in Theoretical Computer Science, 20. pp. 49-62. ISSN 2075-2180

This list was generated on Sun Apr 23 23:03:04 CEST 2017.