Eric Y.T. Juan

Books that list Eric Y.T. Juan among their authors but not as the lead author: co-written works, collections and compilations.

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

Compositional verification of concurrent and real-time systems

Eric Y. T. Juan · 2002