Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings - Margaria, Tiziana (Verfasser); Steffen, Bernhard (Verfasser) (Lecture Notes in Computer Science, 1996)