Author:
Jesse Lisa A.,Kalita Jugal K.
Subject
Artificial Intelligence,Information Systems and Management,Management Information Systems,Software
Reference60 articles.
1. Temporal transition models: A new approach to situation assessment and predictive analysis;Jesse,1993
2. New and used temporal models: An issue of time;Anger;Journal of Applied Intelligence,1993
3. The temporal semantics of concurrent programs;Pneulli,1977
4. Parallel Program Design;Chandy,1988
5. Automatic verification of finite-state concurrent systems using temporal logic specification;Clarke;ACM Transactions on Programming Languages,1986
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献