Next Heuristic for On-the-Fly Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Alur, Bow-Yaw Wang. Next Heuristic for On-the-Fly Model Checking. In Jos C. M. Baeten, Sjouke Mauw, editors, CONCUR 99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings. Volume 1664 of Lecture Notes in Computer Science, pages 98-113, Springer, 1999. [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. It may be one of the following persons:

Bow-Yaw Wang

Look up 'Bow-Yaw Wang' in Google

runs on WebDSL