CS27 業績リスト

Search this article in Google Scholar


分類 国際会議
著者名 (author) Tatsuhiro Tsuchiya,Masahide Nakamura,Tohru Kikuno
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key)
表題 (title) Detecting feature interactions in telecommunication services with a SAT solver
表題 (英文)
書籍・会議録表題 (booktitle) Proc. of 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'02)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 131--134
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) December
出版年 (year) 2002
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル


[10-98]  Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, ``Detecting Feature Interactions in Telecommunication Services with a Sat Solver,'' In Proc. of 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'02) , pp.131--134, December 2002.

@inproceedings{10_98,
    author = {Tatsuhiro Tsuchiya and Masahide Nakamura and Tohru Kikuno},
    author_e = {},
    editor = {},
    editor_e = {},
    title = {Detecting feature interactions in telecommunication services with a
    SAT solver},
    title_e = {},
    booktitle = {Proc. of 2002 Pacific Rim International Symposium on Dependable
    Computing (PRDC'02) },
    booktitle_e = {},
    volume = {},
    number = {},
    pages = {131--134},
    organization = {},
    publisher = {},
    publisher_e = {},
    address = {},
    month = {December},
    year = {2002},
    note = {},
    annote = {}
}

This site is maintained by webadmin.

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