Optimal scheduler synthesis using cost optimal reachability analysis
author                    
                    
                
statement of authorship                    
                    
Juhan Ernits
                            
                    
location of publication                    
                    
[S. l.]
                            
                    
year of publication                    
                    
                
pages                    
                    
[1 p.]. (Student talks and posters 2005 (abstracts))
                            
                    
subject term                    
                    
                
notes                    
                    
Bibliogr.: 3 ref
                            
                    
language                    
                    
inglise
                            
                    
                            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)).