Computer Aided Verification : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings - Larsen, Kim Guldstrand (Verfasser); Skou, Arne (Verfasser) (Lecture Notes in Computer Science, 1992)