Author:
Bisgaard Morten,Gerhardt David,Hermanns Holger,Krčál Jan,Nies Gilles,Stenger Marvin
Publisher
Springer International Publishing
Reference10 articles.
1. Uppaal Cora (2005). http://people.cs.aau.dk/~adavid/cora/introduction.html
2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
3. Lecture Notes in Computer Science;G Behrmann,2001
4. Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Optimal scheduling using priced timed automata. ACM SIGMETRICS Perform. Eval. Rev. 32(4), 34–40 (2005)
5. Lecture Notes in Computer Science;H Hermanns,2015
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献