Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 07:51:42 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||