Author:
Meinecke Ingmar,Quaas Karin
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. Model checking of systems with many identical timed processes;Abdulla;Theoret. Comput. Sci.,2003
2. Minimal cost reachability/coverability in priced timed Petri nets;Abdulla,2009
3. Computing optimal coverability costs in priced timed Petri nets;Abdulla,2011
4. The benefits of relaxing punctuality;Alur;J. ACM,1996
5. Real-time logics: complexity and expressiveness;Alur;Inform. and Comput.,1993
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献