@misc
{TN_libero_mab2,
author = {
Gopalakrishnan, Ganesh
Qadeer, Shaz
},
title = {
Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
},
publisher = {Springer Berlin Heidelberg},
isbn = {9783642221101},
keywords = {
Logic design
,
Computer Science
,
Computer science
,
Software engineering
,
Artificial intelligence
,
Machine theory.
,
Computer programming.
,
Compilers (Computer programs).
,
Paperback / softback
,
Research
,
context-free languages
,
model checking
,
simulation
,
software testing
,
symbolic techniques
,
Konferenzschrift 2011 Snowbird, Utah
,
Verifikation
},
year = {2011},
booktitle = {Lecture Notes in Computer Science ; 6806},
booktitle = {SpringerLink ; Bücher},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}