Model-Checking Temporal Behaviour in CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joël Ouaknine, George M. Reed. Model-Checking Temporal Behaviour in CSP. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA. pages 295-304, CSREA Press, 1999.

This author has not been identified. Look up 'Joël Ouaknine' in GoogleThis author has not been identified. Look up 'George M. Reed' in Google

runs on WebDSL