正則時相論理に基づく形式的論理設計検証に関する研究

Author(s)

Bibliographic Information

正則時相論理に基づく形式的論理設計検証に関する研究

平石裕実研究代表

[平石裕実], 1991.3

Other Title

平成2年度科学研究費補助金一般研究(C)研究成果報告書 : 研究課題番号 01550285

Title Transcription

セイソク ジソウ リロン ニ モトズク ケイシキテキ ロンリ セッケイ ケンショウ ニカンスル ケンキュウ

Available at  / 2 libraries

Search this Book/Journal

Note

京都大学工学部

Details

  • NCID
    BA73436496
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpneng
  • Place of Publication
    [京都]
  • Pages/Volumes
    74p
  • Size
    26cm
Page Top