Show simple item record

dc.contributor.authorReinhard, Tobias
dc.contributor.authorJacobs, Bart
dc.date.accessioned2021-11-24T10:13:48Z
dc.date.available2021-11-02T15:57:09Z
dc.date.available2021-11-24T10:13:48Z
dc.date.issued2021
dc.identifier.isbn978-3-030-81687-2
dc.identifier.issn0302-9743
dc.identifier.otherWOS:000693429500002
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/37576.2
dc.sourceWOS
dc.titleGhost Signals: Verifying Termination of Busy Waiting
dc.typeProceedings paper
dc.identifier.doi10.1007/978-3-030-81688-9_2
dc.identifier.eisbn978-3-030-81688-9
dc.source.numberofpages24
dc.source.peerreviewyes
dc.source.beginpage27
dc.source.endpage50
dc.source.conference33rd International Conference on Computer-Aided Verification (CAV)
dc.source.conferencedateJUL 20-23, 2021
dc.source.conferencelocationVirtual
dc.source.journalna
dc.source.volume12760
imec.availabilityPublished - imec


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record

VersionItemDateSummary

*Selected version