Verification of Two-Variable Logic Revisited - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Benedikt, Rastislav Lenhardt, James Worrell. Verification of Two-Variable Logic Revisited. In Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012. pages 114-123, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'Michael Benedikt' in GoogleThis author has not been identified. Look up 'Rastislav Lenhardt' in GoogleThis author has not been identified. Look up 'James Worrell' in Google

runs on WebDSL