Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen. Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. In Pierre Wolper, editor, Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings. Volume 939 of Lecture Notes in Computer Science, pages 127-140, Springer, 1995.

This author has not been identified. Look up 'Lalita Jategaonkar Jagadeesan' in GoogleThis author has not been identified. Look up 'Carlos Puchol' in GoogleThis author has not been identified. Look up 'James Von Olnhausen' in Google

runs on WebDSL