Search results for: Claude Jard
Theoretical Computer Science > 2014 > 546 > Complete > 52-62
Formal Methods in System Design > 2014 > 44 > 1 > 1-43
Theoretical Computer Science > 2014 > 546 > Complete > 52-62
Formal Methods in System Design > 2014 > 44 > 1 > 1-43