autore : Mark Reynolds
1
pubblicazione
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