1993年1月 分岐時相論理に基づく検証方式の高速化について 電子情報通信学会技術研究報告 近,米田 巻 号 FTS-92 開始ページ 9 終了ページ 16 記述言語 日本語 掲載種別 研究発表ペーパー・要旨(国際会議) エクスポート BibTeX RIS