Verification of Multi-agent Systems Via Bounded Model Checking
 |
 |
@article{boundedVerification06,
Author = {Luo, Xiangyu and Su, Kaile and Sattar, Abdul and Reynolds, Mark},
Journal = {Lecture Notes in Computer Science},
Title = {Verification of Multi-agent Systems Via Bounded Model Checking},
Volume = {4304},
Year = {2006},
Publisher = {Springer},
DOI = {10.1007/11941439_11}
}
Author = {Luo, Xiangyu and Su, Kaile and Sattar, Abdul and Reynolds, Mark},
Journal = {Lecture Notes in Computer Science},
Title = {Verification of Multi-agent Systems Via Bounded Model Checking},
Volume = {4304},
Year = {2006},
Publisher = {Springer},
DOI = {10.1007/11941439_11}
}