@phdthesis{oai:u-ryukyu.repo.nii.ac.jp:02019199, author = {山田, 親稔}, school = {琉球大学}, title = {Studies on Asynchronous System Specification for Formal Verification} }