Language
Publisher
-
All (
)
-
Free, open source (
)
4Result(s)for '"Cortier Véronique"'
Resource list
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