Author:
Bérard B.,Cassez F.,Haddad S.,Lime D.,Roux O.H.
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. Decidability of zenoness, syntactic boundedness and token-liveness for dense-timed petri nets;Abdulla,2004
2. Timed petri nets and BQOs;Abdulla,2001
3. Is your model checker on time? On the complexity of model checking for timed modal logics;Aceto;Journal of Logic and Algebraic Programming,2002
4. A theory of timed automata;Alur;Theoretical Computer Science B,1994
5. A causal semantics for time Petri nets;Aura;Theoretical Computer Science,2000
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献