Execution and verification of 2nd order interval temporal logic(Concurrency Theory and Applications '96)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Kono Shinji

  Sony Computer Science Laboratory Inc.

関連論文

• Execution and verification of 2nd order interval temporal logic(Concurrency Theory and Applications '96)

スポンサーリンク