Author:
Zhang Nan,Duan Zhenhua,Tian Cong
Funder
National Natural Science Foundation of China
Subject
General Computer Science,Theoretical Computer Science
Reference26 articles.
1. Declarative workflows: balancing between flexibility and support;Van Der Aalst;Comput. Sci. Res. Dev.,2009
2. Planning with qualitative temporal preferences;Bienvenu,2006
3. Automatic verification of sequential circuits using temporal logic;Browne;IEEE Trans. Comput.,2006
4. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Program. Lang. Syst.,1986
5. On-the-fly verification of linear temporal logic;Couvreur,1999
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献