Timing Verification by Successive Approximation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis. Timing Verification by Successive Approximation. Inf. Comput., 118(1):142-157, April 1995.

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 'Alon Itai' in GoogleThis author has not been identified. Look up 'Robert P. Kurshan' in GoogleThis author has not been identified. Look up 'Mihalis Yannakakis' in Google

runs on WebDSL