Eric Y.T. Juan

ספרים שבהם Eric Y.T. Juan מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Compositional verification of concurrent and real-time systemsEric Y. T. Juan

Compositional verification of concurrent and real-time systems

Eric Y. T. Juan · 2002