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
|
![]() |
Eintrag anzeigen |