Optimal scheduler synthesis using cost optimal reachability analysis

statement of authorship
Juhan Ernits
location of publication
[S. l.]
year of publication
pages
[1 p.]. (Student talks and posters 2005 (abstracts))
notes
Bibliogr.: 3 ref
Ernits, J. Optimal scheduler synthesis using cost optimal reachability analysis // Tenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 2005. [S. l.], 2005. [1 p.]. (Student talks and posters 2005 (abstracts)).