Download Tools And Algorithms For The Construction And Analysis Of Systems: Second International Workshop, Tacas '96 Passau, Germany, March 27–29, 1996 Proceedings