@misc
{TN_libero_mab2,
author = {
Hutchison, David
AND
Mitchell, John C.
AND
Naor, Moni
AND
Nierstrasz, Oscar
AND
Pandu Rangan, C.
AND
Steffen, Bernhard
AND
Sudan, Madhu
AND
Terzopoulos, Demetri
AND
Tygar, Doug
AND
Vardi, Moshe Y.
AND
Viswanathan, Mahesh
AND
Cha, Sungdeok (Steve)
AND
Weikum, Gerhard
AND
Choi, Jin-Young
AND
Kanade, Takeo
AND
Kim, Moonzoo
AND
Kittler, Josef
AND
Kleinberg, Jon
AND
Lee, Insup
AND
Mattern, Friedemann
},
title = {
Automated Technology for Verification and Analysis
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
},
publisher = {Springer Berlin Heidelberg},
isbn = {9783540883876},
keywords = {
Computer Communication Networks
,
Logic design
,
Information systems
,
Computer Science
,
Computer science
,
Software engineering
,
Computers, Special purpose.
,
Computer networks .
,
Compilers (Computer programs).
,
Konferenzschrift 2008 Seoul
,
Systementwurf
,
Systemanalyse
,
Formale Methode
,
Verifikation
,
Model Checking
,
Softwareentwicklung
,
Hardwareentwurf
,
Zeitbehafteter Automat
,
Eingebettetes System
,
Hybrides System
},
year = {2008},
booktitle = {Lecture Notes in Computer Science ; 5311},
booktitle = {SpringerLink ; Bücher},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}