Y. Abdeddam and O. Maler, "Preemptive job-shop scheduling using stopwatch automata," in TACAS '02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. London, UK: Springer-Verlag, 2002, pp. 113--126. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) Self-citation (Maler) (Correct)
No context found.
Y. Abdedda m and O. Maler. Preemptive job-shop scheduling using stopwatch automata. Submitted to TACAS 2002.
Verifying Distributed Real-time Properties of Embedded.. - Madl, Abdelwahed.. (2005) (Correct)
No context found.
Y. Abdeddam and O. Maler, "Preemptive job-shop scheduling using stopwatch automata," in TACAS '02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. London, UK: Springer-Verlag, 2002, pp. 113--126.
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