Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings Brinksma, Ed Heftet / 1997 / Engelsk
Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings Brinksma, Ed Heftet / 2002 / Engelsk
Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures Brinksma, Ed Heftet / 2001 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers Brinksma, Ed Heftet / 1995 / Engelsk
