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

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.034372 seconds.