Model-Checking for Probabilistic Real-Time Systems (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Alur, Costas Courcoubetis, David L. Dill. Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). In Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo, editors, Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Volume 510 of Lecture Notes in Computer Science, pages 115-126, Springer, 1991.

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 'Costas Courcoubetis' in GoogleThis author has not been identified. Look up 'David L. Dill' in Google

runs on WebDSL