Skip to contents Barringer, Howard [Editor] ; RV 1 2010 Saint Julian's Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6418 Barringer, Howard [Author] ; Falcone, Ylies [Other]; Finkbeiner, Bernd [Other]; Havelund, Klaus [Other]; Lee, Insup [Other]; Pace, Gordon J. [Other]; Rosu, Grigore [Other]; Sokolsky, Oleg [Other]; Tillmann, Nikolai [Other] Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 6418
Barringer, Howard [Editor] ; RV 1 2010 Saint Julian's Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6418
Barringer, Howard [Author] ; Falcone, Ylies [Other]; Finkbeiner, Bernd [Other]; Havelund, Klaus [Other]; Lee, Insup [Other]; Pace, Gordon J. [Other]; Rosu, Grigore [Other]; Sokolsky, Oleg [Other]; Tillmann, Nikolai [Other] Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 6418
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Creator Skip to next facet Barringer, Howard (2) Wert ausschließen Falcone, Ylies (1) Wert ausschließen Finkbeiner, Bernd (1) Wert ausschließen Havelund, Klaus (1) Wert ausschließen Lee, Insup (1) Wert ausschließen Pace, Gordon J. (1) Wert ausschließen RV 1 2010 Saint Julian's (1) Wert ausschließen Rosu, Grigore (1) Wert ausschließen Sokolsky, Oleg (1) Wert ausschließen Tillmann, Nikolai (1) Wert ausschließen Show more show less