External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modular Termination Verification of Single-Threaded and Multithreaded Programs

Bart Jacobs 0002, Dragan Bosnacki, Ruurd Kuiper. Modular Termination Verification of Single-Threaded and Multithreaded Programs. ACM Transactions on Programming Languages and Systems, 40(3), 2018. [doi]

Authors

Bart Jacobs 0002

This author has not been identified. Look up 'Bart Jacobs 0002' in Google

Dragan Bosnacki

This author has not been identified. Look up 'Dragan Bosnacki' in Google

Ruurd Kuiper

This author has not been identified. Look up 'Ruurd Kuiper' in Google
runs on