T. Nagaoka, K. Okano, and S. Kusumoto, "Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop," IEICE Technical Report, 107(505), pp. 103-108 March 2008.
ID 18
分類 研究会・全国大会等
タグ abstraction timed automata counterexample-guided abstraction refinement loop
表題 (title) Abstraction of 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 Technical Report
定期刊行物名 (英文)
巻数 (volume) 107
号数 (number) 505
ページ範囲 (pages) 103-108
刊行月 (month) 3
出版年 (year) 2008
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 0 (application/pdf) [一般閲覧可]
BiBTeXエントリ
@article{id18,
         title = {Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop},
        author = {Takeshi Nagaoka and Kozo Okano and Shinji Kusumoto},
       journal = {IEICE Technical Report},
        volume = {107},
        number = {505},
         pages = {103-108},
         month = {3},
          year = {2008},
}