Home / Authors / Eric Y.T. Juan, Jeffrey J.P. Tsai

Books by Eric Y.T. Juan, Jeffrey J.P. Tsai

All books by this author

2 books found
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
Compositional Verification of Concurrent and Real-Time Syst…
By: Eric Y.T. Juan, Jeffrey J.P. Tsai
View Details
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
Compositional Verification of Concurrent and Real-Time Syst…
By: Eric Y.T. Juan, Jeffrey J.P. Tsai
View Details