Author:
André Étienne,Fribourg Laurent,Kühne Ulrich,Soulat Romain
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. http://www.lsv.ens-cachan.fr/Software/imitator/
2. Lecture Notes in Computer Science;Y. Abdeddaïm,2002
3. André, É.: IMITATOR II: A tool for solving the good parameters problem in timed automata. In: INFINITY. EPTCS, vol. 39, pp. 91–99 (2010)
4. 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)
5. Lecture Notes in Computer Science;É. André,2012
Cited by
72 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献