Ibarra Oscar | University Of California Santa Barbara Usa

スポンサーリンク

概要

• 同名の論文著者
• University Of California Santa Barbara Usaの論文著者

関連著者

• Ibarra Oscar

  University Of California Santa Barbara Usa

著作論文

• 6項 Automata-Based Techniques for Verification of Infinite-State Systems(4節 通研講演会)(第5章 国際会議・シンポジウム等)

スポンサーリンク