EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Ramesh, S.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2012

Evangelista, S. and Laarman, A.W. and Petrucci, L. and van de Pol, J.C. (2012) Improved Multi-Core Nested Depth-First Search. In: Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, 3-6 Oct 2012, Thiruvananthapuram (Trivandrum), Kerala. pp. 269-283. Lecture Notes in Computer Science 7561. Springer Verlag. ISBN 978-3-642-33386-6

This list was generated on Mon May 29 04:51:07 CEST 2017.