1993年1月 線形時相論理の為の効率的記号モデル検査方式 電子情報通信学会技術研究報告 中根,米田 巻 号 FTS-93 開始ページ 65 終了ページ 72 記述言語 日本語 掲載種別 研究発表ペーパー・要旨（国際会議） エクスポート BibTeX RIS
