Challenges in Verifying Communication Fabrics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov. Challenges in Verifying Communication Fabrics. In Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk, editors, Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Volume 6898 of Lecture Notes in Computer Science, pages 18-21, Springer, 2011. [doi]

This author has not been identified. Look up 'Michael Kishinevsky' in GoogleThis author has not been identified. Look up 'Alexander Gotmanov' in GoogleThis author has not been identified. Look up 'Yuriy Viktorov' in Google

runs on WebDSL