T. Nagaoka, K. Okano, and S. Kusumoto, "An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop," IEICE Transactions on Information and Systems, E93-D(5), pp. 994-1005 May 2010.
ID 104
分類 論文誌
タグ abstraction refinement technique timed automata counterexample-guided abstraction refinement loop
表題 (title) An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
表題 (英文)
著者名 (author) Takeshi Nagaoka,Kozo Okano,Shinji Kusumoto
英文著者名 (author) Takeshi Nagaoka,Kozo Okano,Shinji Kusumoto
キー (key) Takeshi Nagaoka,Kozo Okano,Shinji Kusumoto
定期刊行物名 (journal) IEICE Transactions on Information and Systems
定期刊行物名 (英文)
巻数 (volume) E93-D
号数 (number) 5
ページ範囲 (pages) 994-1005
刊行月 (month) 5
出版年 (year) 2010
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)




論文電子ファイル 利用できません.
BiBTeXエントリ
@article{id104,
         title = {An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop},
        author = {Takeshi Nagaoka and Kozo Okano and Shinji Kusumoto},
       journal = {IEICE Transactions on Information and Systems},
        volume = {E93-D},
        number = {5},
         pages = {994-1005},
         month = {5},
          year = {2010},
}