W. Rance Cleaveland

Tools and Algorithms for the Construction of Analysis of Systems - 1999 - Springer Berlin Heidelberg 1999 - Lecture Notes in Computer Science .

9783540490593


Computer Science