Eric Y. T. Juan

Eric Y. T. Juan

2 ספרים במאגר

ספרים

Compositional Verification of Concurrent and Real-Time SystemsEric Y. T. Juan

Compositional Verification of Concurrent and Real-Time Systems

Eric Y. T. Juan · 2002

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

Compositional verification of concurrent and real-time systems

Eric Y. T. Juan · 2002