A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hacene Sebih, Kamel Barkaoui. A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 3. pages 1255-1263, CSREA Press, 2005.

This author has not been identified. Look up 'Hacene Sebih' in GoogleThis author has not been identified. Look up 'Kamel Barkaoui' in Google

runs on WebDSL