Verifying protocol conformance for logic-based communicating agents (2005)

by M Baldoni, C Baroglio, A Martelli, V Patti, C Schifanella
Venue:In Proc. of CLIMA V, number 3487 in LNCS