Subject
Hardware and Architecture,Software
Reference15 articles.
1. Towards a general theory of action and time;Allen;Artificial Intelligence,1983
2. The temporal logic of programs;Pnueli,1977
3. Safety analysis of timing properties in real-time systems;Jahanian;IEEE Transactions,1986
4. A calculus of durations;Chaochen,1991
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献