EEMCS

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

EEMCS EPrints Service


Editor: Arbel, E.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2016

Bloemen, V. and van de Pol, J.C. (2016) Multi-core SCC-Based LTL Model Checking. In: Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016, 14-17 Nov 2016, Haifa, Israel. pp. 18-33. Lecture Notes in Computer Science 10028. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-49051-9

This list was generated on Thu May 25 22:48:36 CEST 2017.