@article{oai:kanazawa-u.repo.nii.ac.jp:00008060,
 author = {Yamane, Satoshi},
 issue = {11},
 journal = {IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences},
 month = {Nov},
 note = {金沢大学理工研究域電子情報学系},
 title = {Special section on concurrent/real-time and hybrid systems: Theory and applications},
 volume = {E91-A},
 year = {2008}
}