From Crash-Stop to Permanent Omission: Automatic Transformations and Weakest Failure DetectorsDelporte-Gallet, Carole ; Fauconnier, Hugues ; Freiling, Felix ; Draque Penso, Lucia ; Tielmann, Andreas
BASE:
Delporte-Gallet, Carole
;
Fauconnier, Hugues
;
Freiling, Felix
;
Draque Penso, Lucia
;
Tielmann, Andreas
Google Scholar: Delporte-Gallet, Carole ; Fauconnier, Hugues ; Freiling, Felix ; Draque Penso, Lucia ; Tielmann, Andreas Aufruf-StatistikSie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail Actions (login required)
|
|