CS27 業績リスト

Search this article in Google Scholar


分類 論文誌
著者名 (author) Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
英文著者名 (author)
キー (key) Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
表題 (title) Feature interaction detection by bounded model checking
表題 (英文)
定期刊行物名 (journal) IEICE Transactions on Information and Systems
定期刊行物名 (英文)
巻数 (volume) E86-D
号数 (number) 12
ページ範囲 (pages) 2579--2587
刊行月 (month) December
出版年 (year) 2003
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル


[1-41]  Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, ``Feature Interaction Detection by Bounded Model Checking,'' IEICE Transactions on Information and Systems, vol.E86-D, no.12, pp.2579--2587, December 2003.

@article{1_41,
    author = {Tomoyuki Yokogawa and  Tatsuhiro Tsuchiya and  Masahide Nakamura
    and  Tohru Kikuno},
    author_e = {},
    title = {Feature interaction detection by bounded model checking},
    title_e = {},
    journal = {IEICE Transactions on Information and Systems},
    journal_e = {},
    volume = {E86-D},
    number = {12},
    pages = {2579--2587},
    month = {December},
    year = {2003},
    note = {},
    annote = {}
}

This site is maintained by webadmin.

PMAN 2.5.4 - Paper MANagement system / (C) 2002-2007, Osamu Mizuno / All rights reserved.