Language
Publisher
-
All (
)
-
Free, open source (
)
3Result(s)for '"Chatterjee Krishnendu"'
Resource list
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
![Open access](/images/ico/o.png)
![Article](/images/ico/ico5.png)
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