Chang, L, He, X. (2011). A model transformation approach for verifying multi-agent systems using SPIN
.
37-42. 10.1145/1982185.1982196
Chang, L, He, X. (2011). A model transformation approach for verifying multi-agent systems using SPIN
. 37-42. 10.1145/1982185.1982196