Publication:

Ghost Signals: Verifying Termination of Busy Waiting

Date

2021

Proceedings Paper

https://doi.org/10.1007/978-3-030-81688-9_2

Simple item page Full metadata Statistics

Author(s)

Reinhard, Tobias

;

Journal

na

Statistics

1858 since deposited on 2021-11-02

Acq. date: 2026-01-28