Search results for: Paul Gastin
Information Processing Letters > 2012 > 112 > 24 > 963-968
Formal Methods in System Design > 2009 > 34 > 3 > 215-237
Information Processing Letters > 2012 > 112 > 24 > 963-968
Formal Methods in System Design > 2009 > 34 > 3 > 215-237