[IEEE 2013 International Conference on Information Science and Cloud Computing Companion (ISCC-C) - Guangzhou, China (2013.12.7-2013.12.8)] 2013 International Conference on Information Science and Cloud Computing Companion - Software Analysis of Internet Bots Using a Model Checker
Koike, Eri, Nishizaki, Shin-YaYear:
2013
Language:
english
DOI:
10.1109/ISCC-C.2013.124
File:
PDF, 240 KB
english, 2013