Evrostos: the rLTL verifier - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tzanis Anevlavis, Daniel Neider, Matthew Phillipe, Paulo Tabuada. Evrostos: the rLTL verifier. In Necmiye Ozay, Pavithra Prabhakar, editors, Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. pages 218-223, ACM, 2019. [doi]

This author has not been identified. Look up 'Tzanis Anevlavis' in GoogleThis author has not been identified. Look up 'Daniel Neider' in GoogleThis author has not been identified. Look up 'Matthew Phillipe' in GoogleThis author has not been identified. Look up 'Paulo Tabuada' in Google

runs on WebDSL