Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / - Larsen, K. G.; Skou, A. (Springer-Verlag,, 1992)