%0 Generic
%T Computer Aided Verification 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
%A Larsen, Kim G.
%A Skou, Arne
%I Springer Berlin Heidelberg
%@ 9783540467632
%K Computer Communication Networks
%K Computer science
%K Logic design
%K Logic, Symbolic and mathematical
%K Software engineering
%K Computer Science
%K Konferenzschrift 1991 Ålborg
%K Verifikation
%D 1992
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation