Yasmina Abdeddaim and Oded Maler. Job-shop scheduling using timed automata. In Proc. 13th International Conference on Computer Aided Veri cation (CAV'01), volume 2102 of Lecture Notes in Computer Science, pages 478492. Springer, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Lower and Upper Bounds in Zone Based Abstractions.. - Behrmann, Bouyer.. (2004) (1 citation) (Correct)
No context found.
Yasmina Abdeddaim and Oded Maler. Job-shop scheduling using timed automata. In Proc. 13th International Conference on Computer Aided Veri cation (CAV'01), volume 2102 of Lecture Notes in Computer Science, pages 478492. Springer, 2001.
Staying Alive As Cheaply As Possible - Bouyer, Brinksma, Larsen (2004) (Correct)
No context found.
Yasmina Abdeddaim and Oded Maler. Job-shop scheduling using timed automata. In Proc. 13th International Conference on Computer Aided Verification (CAV'01), volume 2102 of Lecture Notes in Computer Science, pages 478--492. Springer, 2001.
Lower and Upper Bounds in Zone Based Abstractions of Timed.. - Behrmann, al. (2004) (1 citation) (Correct)
No context found.
Yasmina Abdeddaim and Oded Maler. Job-shop scheduling using timed automata. In Proc. 13th International Conference on Computer Aided Verification (CAV'01), volume 2102 of Lecture Notes in Computer Science, pages 478--492. Springer, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC