Author:
Bensalem Saddek,Bozga Marius,Nguyen Thanh-Hung,Sifakis Joseph
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Alur, R., Henzinger, T.: Reactive modules. In: Proceedings of the 11th Annual Symposium on LICS, pp. 207–208. IEEE Computer Society Press, Los Alamitos (1996)
2. Abadi, M., Lamport, L.: Conjoining specifications. Toplas 17(3), 507–534 (1995)
3. Clarke, E., Long, D., McMillan, K.: Compositional model checking. In: Proceedings of the 4th Annual Symposium on LICS, pp. 353–362 (1989)
4. Chandy, K., Misra, J.: Parallel program design: a foundation. Addison-Wesley Publishing Company, Reading (1988)
5. Grumberg, O., Long, D.E.: Model checking and modular verification. ACM Transactions on Programming Languages and Systems 16(3), 843–871 (1994)
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献