EEMCS

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

EEMCS EPrints Service


Editor: Ball, T.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2003

Ruys, T.C. (2003) Optimal Scheduling Using Branch and Bound with SPIN 4.0. In: Model Checking Software, Proceedings of the 10th International SPIN Workshop. pp. 1-17. Lecture notes in Computer Science 2648. Springer Verlag. ISSN 0302-9743 ISBN 3-540-40117-2

This list was generated on Sun Mar 19 22:35:13 CET 2017.