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.

Compositional Approach to Suspension and Other Improvements to LTL Translation

Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek. Compositional Approach to Suspension and Other Improvements to LTL Translation. In Ezio Bartocci, C. R. Ramakrishnan, editors, Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Volume 7976 of Lecture Notes in Computer Science, pages 81-98, Springer, 2013. [doi]

Authors

Tomás Babiak

This author has not been identified. Look up 'Tomás Babiak' in Google

Thomas Badie

This author has not been identified. Look up 'Thomas Badie' in Google

Alexandre Duret-Lutz

This author has not been identified. Look up 'Alexandre Duret-Lutz' in Google

Mojmír Kretínský

This author has not been identified. Look up 'Mojmír Kretínský' in Google

Jan Strejcek

This author has not been identified. Look up 'Jan Strejcek' in Google
runs on