EEMCS

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

EEMCS EPrints Service


Research Project: IMPASSE: Implementing McMillan Prefixes against State Space Explosion
Home Policy Brochure Browse Search User Area Contact Help

2006

Kurban, M.E. and Niebert, P. and Qu, H. and Vogler, W. (2006) Stronger reduction criteria for Local First Search. In: Proceedings of the Third International Colloquium on Theoretical Aspects of Computing, 20-24 Nov 2006, Tunis, Tunisia. pp. 108-122. Lecture Notes in Computer Science 4281/2006. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-48815-6