Browsing by Author "Reinhard, Tobias"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Publication Ghost Signals: Verifying Termination of Busy Waiting
;Reinhard, TobiasJacobs, BartProceedings paper2021, 33rd International Conference on Computer-Aided Verification (CAV), JUL 20-23, 2021, p.27-50