![](/img/cover-not-exists.png)
[IEEE 2016 4th Intl Conf on Applied Computing and Information Technology/3rd Intl Conf on Computational Science/Intelligence and Applied Informatics/1st Intl Conf on Big Data, Cloud Computing, Data Science & Engineering (ACIT-CSII-BCD) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 4th Intl Conf on Applied Computing and Information Technology/3rd Intl Conf on Computational Science/Intelligence and Applied Informatics/1st Intl Conf on Big Data, Cloud Computing, Data Science & Engineering (ACIT-CSII-BCD) - On Computer-Assisted Verification of Timed Anonymity of Multi-Agent Systems
Kawabe, Yoshinobu, Ito, NobuhiroYear:
2016
Language:
english
DOI:
10.1109/acit-csii-bcd.2016.065
File:
PDF, 265 KB
english, 2016