KONDRATYEV Alex | The University of Aizu

スポンサーリンク

概要

• KONDRATYEV Alexの詳細を見る
• 同名の論文著者
• The University of Aizuの論文著者

関連著者

• KONDRATYEV Alex

  The University of Aizu

• Yakovlev Alexandre

  University Of Newcastle Upon Type

• KONDRATYEV Alex

  Cadence Berkeley Laboratories

• CORTADELLA Jordi

  Universitat Politecnica de Catalunya

• LAVAGNO Luciano

  Politecnico di Torino

• KISHINEVSKY Michael

  The University of Aizu

• Kishinevsky M

  The University Of Aizu

著作論文

• Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers (Special Issue on Asynchronous Circuit and System Design)
• Verification of asynchronous systems based on Petri Net unfoldings

スポンサーリンク