Kusumoto Laboratory: T. Nagaoka, K. Okano, and S. Kusumoto, Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop, March 2008.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
Tweet
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},
}
  

Search

Tags

1 件の該当がありました. : このページのURL : HTML

Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.034274 seconds.