Author:
Bendiksen Leon,Ölveczky Peter Csaba
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;G. Behrmann,2001
2. Lecture Notes in Computer Science;R. Alur,2001
3. Behrmann, G.: Uppaal Cora web page, http://www.cs.aau.dk/~behrmann/cora/ (accessed February 2009)
4. Lecture Notes in Computer Science;G. Behrmann,2005
5. Lecture Notes in Computer Science;P. Bouyer,2007
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Travelling salesman problem in tissue P systems with costs;Journal of Membrane Computing;2021-05-07
2. Computation with cells enhanced by costs;Proceedings of the 36th Annual ACM Symposium on Applied Computing;2021-03-22
3. Real-Time Maude and Its Applications;Rewriting Logic and Its Applications;2014
4. A survey of timed automata for the development of real-time systems;Computer Science Review;2013-08
5. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10