DiVinE - A Tool for Distributed Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Petr Rockai, Pavel Simecek. DiVinE - A Tool for Distributed Verification. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 278-281, Springer, 2006. [doi]

This author has not been identified. Look up 'Jiri Barnat' in GoogleThis author has not been identified. Look up 'Lubos Brim' in GoogleThis author has not been identified. Look up 'Ivana Cerná' in GoogleThis author has not been identified. Look up 'Pavel Moravec 0002' in GoogleThis author has not been identified. Look up 'Petr Rockai' in GoogleThis author has not been identified. Look up 'Pavel Simecek' in Google

runs on WebDSL