CS27 業績リスト

Search this article in Google Scholar


分類 国際会議
著者名 (author) Takafumi Matsuo,Pattara Leelaprute,Tatsuhiro Tsuchiya,Tohru Kikuno,Masahide Nakamura,Hiroshi Igaki,Ken-ichi Matsumoto
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key)
表題 (title) Automatically Verifying Integrated Services in Home Network Systems
表題 (英文)
書籍・会議録表題 (booktitle) International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006)
書籍・会議録表題(英文)
巻数 (volume) II
号数 (number)
ページ範囲 (pages) 173-176
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) July
出版年 (year) 2006
付加情報 (note) Chiang Mai, Thailand
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル


[10-121]  Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto, ``Automatically Verifying Integrated Services in Home Network Systems,'' In International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006), vol.II, pp.173-176, July 2006. (Chiang Mai, Thailand)

@inproceedings{10_121,
    author = {Takafumi Matsuo and Pattara Leelaprute and Tatsuhiro Tsuchiya and
    Tohru Kikuno and Masahide Nakamura and Hiroshi Igaki and Ken-ichi Matsumoto},
    
    author_e = {},
    editor = {},
    editor_e = {},
    title = {Automatically Verifying Integrated Services in Home Network Systems},
    
    title_e = {},
    booktitle = {International Technical Conference on Circuits/Systems,
    Computers and Communications (ITC-CSCC2006)},
    booktitle_e = {},
    volume = {II},
    number = {},
    pages = {173-176},
    organization = {},
    publisher = {},
    publisher_e = {},
    address = {},
    month = {July},
    year = {2006},
    note = {Chiang Mai, Thailand},
    annote = {}
}

This site is maintained by webadmin.

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