Verification of Multi-agent Systems Via Bounded Model Checking

@article{bounded-verification06,
   apice = {BoundedVerification06},
   author = {Luo, Xiangyu and Su, Kaile and Sattar, Abdul and Reynolds, Mark},
   doi = {10.1007/11941439_11},
   journal = {Lecture Notes in Computer Science},
   publisher = {Springer},
   title = {Verification of Multi-agent Systems Via Bounded Model Checking},
   volume = 4304,
   year = 2006
}