@misc
{TN_libero_mab2,
author = {
CAV 3 1991 Ålborg
Larsen, Kim Guldstrand
},
title = {
Computer aided verification
3rd international workshop, CAV '91, Aalborg, Denmark, July 1 - 4, 1991 ; proceedings
},
publisher = {Springer},
isbn = {9783540467632},
keywords = {
Computer Communication Networks
,
Logic design
,
Logic, Symbolic and mathematical
,
Computer science
,
Software engineering
,
Computer systems.
,
Machine theory.
,
Computers, Special purpose.
,
Mathematical Logic and Formal Languages
,
Computer Science
,
Mathematical Logic and Foundations
,
Logics and Meanings of Programs
,
Special Purpose and Application-Based Systems
,
Computer software
,
Verification
,
Congresses
,
Electronic digital computers
,
Evaluation
,
Konferenzschrift
,
Verifikation
},
year = {1992},
abstract = {Literaturangaben},
booktitle = {Lecture notes in computer science ; 575},
address = {
Berlin [u.a.]
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}