Author:
Abdulla Parosh Aziz,Delzanno Giorgio,Rezine Othmane,Sangnier Arnaud,Traverso Riccardo
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. On the verification of timed ad hoc networks;Abdulla,2011
2. Model checking of systems with many identical timed processes;Abdulla;Theoret. Comput. Sci.,2003
3. General decidability theorems for infinite-state systems;Abdulla,1996
4. Multi-clock timed networks;Abdulla,2004
5. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献