%0 Generic
%T Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
%A Hutchison, David
%A Pandu Rangan, C.
%A Steffen, Bernhard
%A Sudan, Madhu
%A Terzopoulos, Demetri
%A Tygar, Doug
%A Vardi, Moshe Y.
%A Weikum, Gerhard
%A Kanade, Takeo
%A Kittler, Josef
%A Kleinberg, Jon
%A Leucker, Martin
%A Mattern, Friedemann
%A Mitchell, John C.
%A Naor, Moni
%A Nierstrasz, Oscar
%I Springer Berlin Heidelberg
%@ 9783540892472
%K Operating systems (Computers)
%K Computer system performance
%K Computer software
%K Logic design
%K Computer Science
%K Computer science
%K Software engineering
%K Computers.
%K Compilers (Computer programs).
%K Electronic digital computers
%K Konferenzschrift 2008 Budapest
%K Echtzeitverarbeitung
%K Verifikation
%K Software
%K Model Checking
%K Echtzeitsystem
%K Monitoring Informatik
%K Datensicherung
%K Computersicherheit
%K Softwaretest
%K Formale Methode
%D 2008
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation