@article{oai:kanazawa-u.repo.nii.ac.jp:00043283,
 author = {山根, 智 and Yamane, Satoshi},
 issue = {3},
 journal = {Computer Software},
 month = {Sep},
 note = {金沢大学理工研究域電子情報学系},
 pages = {81--87},
 title = {リアルタイムシステムの形式的手法とその検証ツール},
 volume = {25},
 year = {2008}
}