Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings

Ed Brinksma Rance Cleaveland Kim Guldstrand Larsen Tiziana Margaria Bernhard Steffen Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings TACAS Lecture Notes in Computer Science 1019 Springer 1995 3-540-60630-0 db/conf/tacas/tacas95.html