Tracking MUSes and Strict Inconsistent Covers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Éric Grégoire, Bertrand Mazure, Cédric Piette. Tracking MUSes and Strict Inconsistent Covers. In Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings. pages 39-46, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Éric Grégoire' in GoogleThis author has not been identified. Look up 'Bertrand Mazure' in GoogleThis author has not been identified. Look up 'Cédric Piette' in Google

runs on WebDSL