Author:
André Étienne,Soulat Romain
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;A. Annichini,2000
2. André, É., Chatain, T., Encrenaz, E., Fribourg, L.: An inverse method for parametric timed automata. International Journal of Foundations of Computer Science 20(5), 819–836 (2009)
3. Alur, R., Dill, D.L.: A theory of timed automata. TCS 126(2), 183–235 (1994)
4. Lecture Notes in Computer Science;É. André,2010
5. André, É., Fribourg, L., Sproston, J.: An extension of the inverse method to probabilistic timed automata. In: AVoCS 2009. Electronic Communications of the EASST, vol. 23 (2009)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献