TY - GEN
AU - CAV 3 1991 Ålborg
AU - Larsen, Kim Guldstrand
TI - Computer aided verification 3rd international workshop, CAV '91, Aalborg, Denmark, July 1 - 4, 1991 ; proceedings
PB - Springer
SN - 9783540467632
KW - Computer Communication Networks
KW - Logic design
KW - Logic, Symbolic and mathematical
KW - Computer science
KW - Software engineering
KW - Computer systems.
KW - Machine theory.
KW - Computers, Special purpose.
KW - Mathematical Logic and Formal Languages
KW - Computer Science
KW - Mathematical Logic and Foundations
KW - Logics and Meanings of Programs
KW - Special Purpose and Application-Based Systems
KW - Computer software
KW - Verification
KW - Congresses
KW - Electronic digital computers
KW - Evaluation
KW - Konferenzschrift
KW - Verifikation
PY - 1992
N2 - Literaturangaben
BT - Lecture notes in computer science ; 575
CY - Berlin [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation