I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

07011 Executive Summary – Runtime Verification:

Finkbeiner, Bernd ; Havelund, Klaus ; Rosu, Grigore.
Is Part Of Dagstuhl Seminar Proceedings, Volume 7011, Runtime Verification (2008).  , 2008
Link: https://doi.org/10.4230/DagSemProc.07011.2