By Chatterjee Krishnendu   in Formal Methods in System Design

ISSN:0925-9856|42|2|146-174

Springer Publishing Company ‎(2013)‎

Access to resources Favorite 20.105598

By Priklopil Tadeas   Chatterjee Krishnendu   in Games

ISSN:2073-4336|6|4|413-437

MDPI‎(2015)‎

Access to resources Favorite 16.084478

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 12.063358