Author:
Abdulla Parosh Aziz,Deneux Johann,Mahata Pritha
Subject
General Computer Science,Theoretical Computer Science
Reference12 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Multi-clock timed networks;Abdulla,2004
3. Model checking of systems with many identical timed processes;Abdulla;Theoretical Computer Science,2003
4. Robust timed automata;Gupta,1997
5. Using partial orders for the efficient verification of deadlock freedom and safety properties;Godefroid;Formal Methods in System Design,1993
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献