1. Atig, M.F., Habermehl, P.: On Yen’s path logic for Petri nets. IJFCS 22(4), 783–799 (2011)
2. Abdulla, P., Jonsson, B.: Verifying programs with unreliable channels. I & C 127(2), 91–101 (1996)
3. Lecture Notes in Computer Science;A. Bouajjani,2006
4. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Advances in Computers 58, 118–149 (2003)
5. Lecture Notes in Computer Science;C. Barrett,2011