Incremental Generation of Linear Invariants for Component-Based Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay. Incremental Generation of Linear Invariants for Component-Based Systems. In 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013. pages 80-89, IEEE, 2013. [doi]

This author has not been identified. Look up 'Saddek Bensalem' in GoogleThis author has not been identified. Look up 'Marius Bozga' in GoogleThis author has not been identified. Look up 'Benoît Boyer' in GoogleThis author has not been identified. Look up 'Axel Legay' in Google

runs on WebDSL