@phdthesis{oai:soar-ir.repo.nii.ac.jp:00011526,
 author = {PRATIMA, KUMARI SHAH,},
 month = {Sep},
 note = {Thesis, PRATIMA KUMARI　SHAH . On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach （プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について）. 信州大学, 2014, 博士論文. 博士（工学）, 甲第616号, 平成26年9月30日授与.},
 school = {信州大学(Shinshu university)},
 title = {On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach （プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について）},
 year = {2014}
}