Formal Verification of Infinite-State BIP Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang. Formal Verification of Infinite-State BIP Models. In Bernd Finkbeiner, Geguang Pu, Lijun Zhang, editors, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Volume 9364 of Lecture Notes in Computer Science, pages 326-343, Springer, 2015. [doi]

This author has not been identified. Look up 'Simon Bliudze' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Mohamad Jaber' in GoogleThis author has not been identified. Look up 'Sergio Mover' in GoogleThis author has not been identified. It may be one of the following persons:

Marco Roveri

Look up 'Marco Roveri' in GoogleThis author has not been identified. Look up 'Wajeb Saab' in GoogleThis author has not been identified. Look up 'Qiang Wang' in Google

runs on WebDSL