@misc{oai:tsukuba.repo.nii.ac.jp:00013217,
 author = {町, 英朋},
 month = {},
 note = {2006, 【要旨】},
 title = {Theoretical aspects of verification systems based on timed logic},
 year = {2007}
}