共 74 条
- [51] Jamroga W., 2015, Logical Methods for Specification and Verification of Multi-Agent Systems
- [52] Jamroga W., 2006, EUMAS 06, P14
- [53] Model Checking the SELENE E-Voting Protocol in Multi-agent Logics [J]. ELECTRONIC VOTING, 2018, 11143 : 100 - 116
- [54] Jamroga W, 2017, AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, P1241
- [55] Juels Ari, 2005, WPES '05, P61, DOI DOI 10.1145/1102199.1102213
- [56] Kacprzak M, 2008, FUND INFORM, V85, P313
- [58] Lomuscio A., 2006, 5 INT JOINT C AUT AG, P548
- [59] Lomuscio A, 2016, AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, P662
- [60] Melissen M., 2013, THESIS