![](/img/cover-not-exists.png)
Solving scheduling problems by untimed model checking
Anton J. Wijs, Jaco C. van de Pol, Elena M. BortnikVolume:
11
Language:
english
Pages:
18
DOI:
10.1007/s10009-009-0110-9
Date:
November, 2009
File:
PDF, 408 KB
english, 2009