東野 輝夫 | Dept. of Information and Computer Sciences, Osaka University

スポンサーリンク

概要

• 同名の論文著者
• Dept. of Information and Computer Sciences, Osaka Universityの論文著者

関連著者

• 東野 輝夫

  大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest

• 中田 明夫

  Dept. of Information and Computer Sciences, Osaka University

• 東野 輝夫

  Dept. of Information and Computer Sciences, Osaka University

• 谷口 健一

  Dept. of Information and Computer Sciences, Osaka University

著作論文

• Time-Action Alternating Model for Verifying Symbolic Bisimulation Equivalence of Timed Processes(Concurrency Theory and Applications '96)

スポンサーリンク