Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 - Boigelot, Bernard (Lecture notes in computer science, 1996)