Olaf Müller, Tobias Nipkow (auth.), E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen (eds.)

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS ’95 Aarhus, Denmark, May 19–20, 1995 Selected Papers