Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen

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

9783540485094


Computer Science