Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2011
Laarman, A.W. and van de Pol, J.C.
(2011)
Variations on Multi-Core Nested Depth-First Search.
(Invited)
In: Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, 14 Jul 2011, Snowbird, Utah.
pp. 13-28.
Electronic Proceedings in Theoretical Computer Science 72.
EPTCS.
ISSN 2075-2180
This list was generated on Thu May 24 06:34:10 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||