An edition of Compositional verification of concurrent and real-time systems (2002)
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
By Eric Y. T. Juan,Eric Y.T. Juan,Jeffrey J.P. Tsai
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
April 30, 2002
Publisher
Springer
Language
eng
Pages
206
Book Lists