Author:
Fersman Elena,Pettersson Paul,Yi Wang
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Y. Abdeddaïm and O. Maler. Job-shop scheduling using timed automata. In Proceedings of 13th Conference on Computer Aided Verification, July 18–23, 2001 Paris, France, 2001.
2. K. Altisen, G. Göβler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, 1–3 December, 1999, pages 154–163. IEEE Computer Society Press, 1999.
3. Lect Notes Comput Sci;K. Altisen,2000
4. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3–34, 1995.
5. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183–235, 1994.
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献