Author:
Broersen Jan,Dignum Frank,Dignum Virginia,Meyer John-Jules Ch.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Dean, T., Firby, R., Miller, D.: Hierarchical planning involving deadlines, travel time, and resources. Computational Intelligence 6(1), 381–398 (1990)
2. Clarke, E., Emerson, E., Sistla, A.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8 (1986)
3. Formal Models and Semantics;E. Emerson,1990
4. Lecture Notes in Computer Science;E. Clarke,1994
5. van Wright, G.: Deontic logic. Mind 60, 1–15 (1951)
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献