Show simple item record

Modular Termination Verification of Single-Threaded and Multithreaded Programs

dc.contributor.authorJacobs, Bart
dc.contributor.authorBosnacki, Dragan
dc.contributor.authorKuiper, Ruurd
dc.date.accessioned2021-10-25T20:12:20Z
dc.date.available2021-10-25T20:12:20Z
dc.date.issued2018
dc.identifier.issn1057-4514
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/30943
dc.sourceIIOimport
dc.titleModular Termination Verification of Single-Threaded and Multithreaded Programs
dc.typeJournal article
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpageArt. 12
dc.source.journalACM Letters on Programming languages and Systems - TOPLAS
dc.source.issue3
dc.source.volume40
dc.identifier.urlhttps://doi.org/10.1145/3210258
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
42431.pdf
Size:
592.5Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record