プロセス代数に基づく非同期式論理回路の設計検証

書誌事項

タイトル別名
  • プロセス ダイスウ ニ モトズク ヒ ドウキシキ ロンリ カイロ ノ セッケイ
  • 非同期式回路/システム設計論文小特集
  • ヒ ドウキシキ カイロ システム セッケイ ロンブン ショウ トクシュウ

この論文をさがす

収録刊行物

参考文献 (16)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ