Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2011
Laarman, A.W. and van de Pol, J.C. and Weber, Michael
(2011)
Parallel Recursive State Compression for Free.
In: Proceedings of the 18th International SPIN Workshop, SPIN 2011, 14-15 Jul 2011, Snow Bird, Utah.
pp. 38-56.
Lecture Notes in Computer Science 6823.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-22305-1
This list was generated on Thu May 24 06:26:04 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||