Author:
Sawicka Anna,Kacprzak Magdalena,Zbrzezny Andrzej
Publisher
Springer International Publishing
Reference23 articles.
1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Bentahar, J., Ch. Meyer, J.-J., Wan, W.: Model checking agent communication. In: Dastani, M., Hindriks, K.V., Charles Meyer, J.-J. (eds.) Specification and Verification of Multi-agent Systems, pp. 67–102. Springer US, Boston (2010). doi: 10.1007/978-1-4419-6984-2_3
3. Budzynska, K., Kacprzak, M., Sawicka, A., Yaskorska, O.: Dialogue Dynamics: Formal Approach. IFS PAS (2015)
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)
5. Emerson, E.A., Clarke, E.: Using branching-time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program. 2(3), 241–266 (1982)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献