@inproceedings{oai:soar-ir.repo.nii.ac.jp:00018427,
 author = {Yamada, Yutaka and Wasaki, Katsumi},
 book = {Digital Content, Multimedia Technology and its Applications (IDCTA), 2011 7th International Conference on},
 month = {},
 note = {Date of Conference: 16-18 Aug. 2011, Article, Digital Content, Multimedia Technology and its Applications (IDCTA), 2011 7th International Conference on. 139-144 (2011)},
 pages = {139--144},
 publisher = {IEEE},
 title = {Automatic generation of SPIN model checking code from UML activity diagram and its application to Web application design},
 year = {2011}
}