Model Checking Information Flow in Reactive Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl. Model Checking Information Flow in Reactive Systems. In Viktor Kuncak, Andrey Rybalchenko, editors, Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Volume 7148 of Lecture Notes in Computer Science, pages 169-185, Springer, 2012. [doi]

This author has not been identified. Look up 'Rayna Dimitrova' in GoogleThis author has not been identified. Look up 'Bernd Finkbeiner' in GoogleThis author has not been identified. Look up 'Máté Kovács' in GoogleThis author has not been identified. Look up 'Markus N. Rabe' in GoogleThis author has not been identified. Look up 'Helmut Seidl' in Google

runs on WebDSL