Toggle navigation
My submissions
Login
Toggle navigation
View item
imec Publications Repository
imec Publications
Articles
View item
imec Publications Repository
imec Publications
Articles
View item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Modular Termination Verification of Single-Threaded and Multithreaded Programs
View/
open
42431.pdf (592.5Kb)
Metadata
Show full item record
Authors
Jacobs, Bart
;
Bosnacki, Dragan
;
Kuiper, Ruurd
ISSN
1057-4514
Issue
3
Journal
ACM Letters on Programming languages and Systems - TOPLAS
Volume
40
Title
Modular Termination Verification of Single-Threaded and Multithreaded Programs
Publication type
Journal article
Embargo date
9999-12-31
Collections
Articles
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