Quantitative Temporal Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan. Quantitative Temporal Reasoning. In Edmund M. Clarke, Robert P. Kurshan, editors, Computer Aided Verification, 2nd International Workshop, CAV 90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Volume 531 of Lecture Notes in Computer Science, pages 136-145, Springer, 1990.

This author has not been identified. Look up 'E. Allen Emerson' in GoogleThis author has not been identified. Look up 'Aloysius K. Mok' in GoogleThis author has not been identified. Look up 'A. Prasad Sistla' in GoogleThis author has not been identified. Look up 'Jai Srinivasan' in Google

runs on WebDSL