Parametric Identification of Temporal Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic. Parametric Identification of Temporal Properties. In Sarfraz Khurshid, Koushik Sen, editors, Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Volume 7186 of Lecture Notes in Computer Science, pages 147-160, Springer, 2011. [doi]

This author has not been identified. Look up 'Eugene Asarin' in GoogleThis author has not been identified. Look up 'Alexandre Donzé' in GoogleThis author has not been identified. Look up 'Oded Maler' in GoogleThis author has not been identified. Look up 'Dejan Nickovic' in Google

runs on WebDSL