By Corset Franck   Doyen Laurent   Gaudoin Olivier   in Communications in Statistics: Theory and Methods

ISSN:0361-0926|41|21|3915-3941

Taylor & Francis Ltd‎(2012)‎

Access to resources Favorite 11.691711

By Chatterjee Krishnendu   Doyen Laurent   Henzinger Thomas   in Formal Methods in System Design

ISSN:0925-9856|43|2|268-284

Springer Publishing Company ‎(2013)‎

Access to resources Favorite 11.691711