ISBN 9781461353492 books & textbook
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
Juan, Eric Y.T. Y. T. Tsai, Jeffrey J.P.
Springer /2012-10-26 Paperback / 215 Pages
isbn-10: 1461353491 / isbn-13: 9781461353492
