Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2008
Kastenberg, H. and Rensink, A.
(2008)
Dynamic Partial Order Reduction Using Probe Sets.
In: Concurrency Theory (CONCUR), 19-22 Aug 2008, Toronto, Canada.
pp. 233-247.
Lecture Notes in Computer Science 5201.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-85360-2
This list was generated on Thu May 24 08:31:47 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||