Ghost Signals: Verifying Termination of Busy Waiting

dc.contributor.author	Reinhard, Tobias
dc.contributor.author	Jacobs, Bart
dc.date.accessioned	2021-11-24T10:13:48Z
dc.date.available	2021-11-02T15:57:09Z
dc.date.available	2021-11-24T10:13:48Z
dc.date.issued	2021
dc.identifier.doi	10.1007/978-3-030-81688-9_2
dc.identifier.eisbn	978-3-030-81688-9
dc.identifier.isbn	978-3-030-81687-2
dc.identifier.issn	0302-9743
dc.identifier.uri	https://imec-publications.be/handle/20.500.12860/37576
dc.publisher	SPRINGER INTERNATIONAL PUBLISHING AG
dc.source.beginpage	27
dc.source.conference	33rd International Conference on Computer-Aided Verification (CAV)
dc.source.conferencedate	JUL 20-23, 2021
dc.source.conferencelocation	Virtual
dc.source.endpage	50
dc.source.journal	na
dc.source.numberofpages	24
dc.source.volume	12760
dc.title	Ghost Signals: Verifying Termination of Busy Waiting
dc.type	Proceedings paper
dspace.entity.type	Publication
Files
Publication available in collections:	Conference contributions

Date