author : Abdul Sattar
1
publication
Verification of Multi-agent Systems Via Bounded Model Checking (2006) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds Verification of Multi-agent Systems Via Bounded Model Checking (2006) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds