Reinhard, TobiasTobiasReinhardJacobs, BartBartJacobs2021-11-242021-11-022021-11-242021978-3-030-81687-20302-9743WOS:000693429500002https://imec-publications.be/handle/20.500.12860/37576Ghost Signals: Verifying Termination of Busy WaitingProceedings paper10.1007/978-3-030-81688-9_2978-3-030-81688-9WOS:000693429500002