Gérard Berry (auth.), Ed Brinksma (eds.)

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS’97 Enschede, The Netherlands, April 2–4, 1997 Proceedings