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.

Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems

Marie Fortin, Anca Muscholl, Igor Walukiewicz. Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Volume 10427 of Lecture Notes in Computer Science, pages 155-175, Springer, 2017. [doi]

Authors

Marie Fortin

This author has not been identified. Look up 'Marie Fortin' in Google

Anca Muscholl

This author has not been identified. Look up 'Anca Muscholl' in Google

Igor Walukiewicz

This author has not been identified. Look up 'Igor Walukiewicz' in Google
runs on