By Cortier Véronique   in RAIRO - Theoretical Informatics and Applications

ISSN:0988-3754|36|4|341-358

Edp Sciences‎(2010)‎

Access to resources Favorite 21.72989

By Cortier Véronique   Delaune Stéphanie   in Formal Methods in System Design

ISSN:0925-9856|34|1|1-36

Springer Publishing Company ‎(2009)‎

Access to resources Favorite 16.801407

By Cortier Véronique   Kremer Steve   Warinschi Bogdan   in Journal of Automated Reasoning

ISSN:0168-7433|46|3-4|225-259

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 14.785449

By Berrima Mouhebeddine   Ben Rajeb Narjes   Cortier Véronique   in RAIRO - Theoretical Informatics and Applications

ISSN:0988-3754|45|3|269-299

Edp Sciences‎(2011)‎

Access to resources Favorite 13.329187