@misc
{TN_libero_mab2,
author = {
Hutchison, David
AND
Pandu Rangan, C.
AND
Steffen, Bernhard
AND
Sudan, Madhu
AND
Terzopoulos, Demetri
AND
Tygar, Doug
AND
Vardi, Moshe Y.
AND
Weikum, Gerhard
AND
Kanade, Takeo
AND
Kittler, Josef
AND
Kleinberg, Jon
AND
Leucker, Martin
AND
Mattern, Friedemann
AND
Mitchell, John C.
AND
Naor, Moni
AND
Nierstrasz, Oscar
},
title = {
Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
},
publisher = {Springer Berlin Heidelberg},
isbn = {9783540892472},
keywords = {
Operating systems (Computers)
,
Computer system performance
,
Computer software
,
Logic design
,
Computer Science
,
Computer science
,
Software engineering
,
Computers.
,
Compilers (Computer programs).
,
Electronic digital computers
,
Konferenzschrift 2008 Budapest
,
Echtzeitverarbeitung
,
Verifikation
,
Software
,
Model Checking
,
Echtzeitsystem
,
Monitoring Informatik
,
Datensicherung
,
Computersicherheit
,
Softwaretest
,
Formale Methode
},
year = {2008},
booktitle = {Lecture Notes in Computer Science ; 5289},
booktitle = {SpringerLink ; Bücher},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}