Verifying Hyperliveness - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup. Verifying Hyperliveness. In Isil Dillig, Serdar Tasiran, editors, Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Volume 11561 of Lecture Notes in Computer Science, pages 121-139, Springer, 2019. [doi]

This author has not been identified. Look up 'Norine Coenen' in GoogleThis author has not been identified. Look up 'Bernd Finkbeiner' in GoogleThis author has not been identified. Look up 'César Sánchez' in GoogleThis author has not been identified. Look up 'Leander Tentrup' in Google

runs on WebDSL