Jeffrey J.P. Tsai

ספרים שבהם Jeffrey J.P. Tsai מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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

Compositional verification of concurrent and real-time systems

Eric Y. T. Juan · 2002