著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 王 龍江 and 高井 重昌,コンカレント同期合成でモデル化された離散事象システムの可観測性解析,電子情報通信学会技術研究報告 = IEICE technical report : 信学技報,09135685,東京 : 電子情報通信学会,2013-01,112,383,39-44,https://cir.nii.ac.jp/crid/1520290883935145472,