Fixed Point Iteration for Computing the Time Elapse Operator - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. Fixed Point Iteration for Computing the Time Elapse Operator. In João P. Hespanha, Ashish Tiwari, editors, Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings. Volume 3927 of Lecture Notes in Computer Science, pages 537-551, Springer, 2006. [doi]

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

Sriram Sankaranarayanan

Look up 'Sriram Sankaranarayanan' in GoogleThis author has not been identified. Look up 'Henny B. Sipma' in GoogleThis author has not been identified. Look up 'Zohar Manna' in Google

runs on WebDSL