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.

Decidability of Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder. Decidability of Parameterized Verification. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, 2015. [doi]

Authors

Roderick Bloem

This author has not been identified. Look up 'Roderick Bloem' in Google

Swen Jacobs

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

Ayrat Khalimov

This author has not been identified. Look up 'Ayrat Khalimov' in Google

Igor Konnov

This author has not been identified. Look up 'Igor Konnov' in Google

Sasha Rubin

This author has not been identified. Look up 'Sasha Rubin' in Google

Helmut Veith

This author has not been identified. Look up 'Helmut Veith' in Google

Josef Widder

This author has not been identified. Look up 'Josef Widder' in Google
runs on