Author:
Cohen Ariel,Namjoshi Kedar S.,Sa’ar Yaniv
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Alur, R., Henzinger, T.: Reactive modules. In: IEEE LICS (1996)
2. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987)
3. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)
4. Lecture Notes in Computer Science;A. Cimatti,1999
5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic. ACM Transactions on Programming Languages and Systems (TOPLAS) 8(2) (1986)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献