Skip to Main content Skip to Navigation


...
hal-00919467v1  Preprints, Working Papers, ...
Gilles DowekYing Jiang. A Logical Approach to CTL
2014