Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2011
Laarman, A.W. and Langerak, R. and van de Pol, J.C. and Weber, Michael and Wijs, A.
(2011)
Multi-Core Nested Depth-First Search.
In: Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, 11-14 Oct 2011, Tapei, Taiwan.
pp. 321-335.
Lecture Notes in Computer Science 6996.
Springer Verlag.
ISBN 978-3-642-24372-1
This list was generated on Thu May 24 06:39:53 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||