@misc{oai:kanazawa-u.repo.nii.ac.jp:00036051,
 author = {柳瀬, 龍},
 month = {2017-10-05},
 note = {博士論文要旨Abstract},
 title = {Dynamic Linear Hybrid Automata and Their Applications to Formal Verification of Dynamic Reconfigurable Embedded Systems},
 year = {}
}