@misc
{TN_libero_mab2,
author = {
Bultan, Tevfik
Hsiung, Pao-Ann
},
title = {
Automated Technology for Verification and Analysis
9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
},
publisher = {Springer Berlin Heidelberg},
isbn = {9783642243721},
keywords = {
Computer Communication Networks
,
Logic design
,
Computer Science
,
Computer science
,
Software engineering
,
Computer networks .
,
Computer programming.
,
Compilers (Computer programs).
,
Konferenzschrift 2011 Taipeh
,
Formale Methode
,
Verifikation
,
Systementwurf
,
Systemanalyse
,
Systemsynthese
,
Eingebettetes System
,
CASHE
},
year = {2011},
booktitle = {Lecture Notes in Computer Science ; 6996},
booktitle = {SpringerLink ; Bücher},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}