Model Checking LTLR Formulas under Localized Fairness - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kyungmin Bae, José Meseguer. Model Checking LTLR Formulas under Localized Fairness. In Franciso Durán, editor, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Volume 7571 of Lecture Notes in Computer Science, pages 99-117, Springer, 2012. [doi]

This author has not been identified. Look up 'Kyungmin Bae' in GoogleThis author has not been identified. It may be one of the following persons:

José Meseguer

Look up 'José Meseguer' in Google

runs on WebDSL