Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2009
Wijs, A.J. and van de Pol, J.C. and Bortnik, E.M.
(2009)
Solving scheduling problems by untimed model checking. The clinical chemical analyser case study.
International journal on software tools for technology transfer, 11 (5).
pp. 375-392.
ISSN 1433-2779
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||