Parametric temporal logic for model measuring - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled. Parametric temporal logic for model measuring . ACM Trans. Comput. Log., 2(3):388-407, 2001. [doi]

This author has not been identified. It may be one of the following persons:

Rajeev Alur

Look up 'Rajeev Alur' in GoogleThis author has not been identified. Look up 'Kousha Etessami' in GoogleThis author has not been identified. Look up 'Salvatore La Torre' in GoogleThis author has not been identified. Look up 'Doron Peled' in Google

runs on WebDSL