Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 05:44:02 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||