Model-Checking for Extended Timed Temporal Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine. Model-Checking for Extended Timed Temporal Logics. In Bengt Jonsson, Joachim Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT 96, Uppsala, Sweden, September 9-13, 1996, Proceedings. Volume 1135 of Lecture Notes in Computer Science, pages 306-326, Springer, 1996.

This author has not been identified. Look up 'Ahmed Bouajjani' in GoogleThis author has not been identified. Look up 'Yassine Lakhnech' in GoogleThis author has not been identified. Look up 'Sergio Yovine' in Google

runs on WebDSL