Author:
Kacprzak Magdalena,Sawicka Anna,Zbrzezny Andrzej
Publisher
Springer International Publishing
Reference28 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Biere, A., Cimatti, A., Clarke, E., Fujita, M., Zhu., Y.: Symbolic model checking using SAT procedures instead of BDDs. In: Proceedings of the ACM/IEEE Design Automation Conference (DAC 1999), pp. 317–320 (1999)
3. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 117–148 (2003)
4. Budzynska, K., Kacprzak, M., Sawicka, A., Yaskorska, O.: Dialogue Dynamics: Formal Approach, IFS PAS (2015)
5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite state concurrent systems using temporal logic specifications: a practical approach. In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, pp. 117–126. ACM Press (1983)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献