Toggle navigation
My submissions
Login
Toggle navigation
View item
imec Publications Repository
imec Publications
Conference contributions
View item
imec Publications Repository
imec Publications
Conference contributions
View item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Ghost Signals: Verifying Termination of Busy Waiting
Metadata
Show full item record
Authors
Reinhard, Tobias
;
Jacobs, Bart
DOI
10.1007/978-3-030-81688-9_2
EISBN
978-3-030-81688-9
ISBN
978-3-030-81687-2
ISSN
0302-9743
Conference
33rd International Conference on Computer-Aided Verification (CAV)
Journal
na
Volume
12760
Title
Ghost Signals: Verifying Termination of Busy Waiting
Publication type
Proceedings paper
Collections
Conference contributions
Version history
Version
Item
Date
Summary
2
20.500.12860/37576.2
*
2021-11-24T10:11:24Z
validation by library/open access desk
1
20.500.12860/37576
2021-11-02T15:57:09Z
*Selected version
Search imec Publications Repository
This collection
Browse
All of imec Publications Repository
Collections
Publication date
Authors
Titles
Subjects
imec author
Availability
Publication type
This collection
Publication date
Authors
Titles
Subjects
imec author
Availability
Publication type
My account
login