CS27 業績リスト


国際会議
[1]  Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, ``Detecting Feature Interactions in Telecommunication Systems by Symbolic Model Checking,'' In 16th International Conference on Information Networking (ICOIN-16), pp.8B2.1-2.11, January 2002. (Cheju, Korea)

This site is maintained by webadmin.

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