Logiques linéaires hybrides et leurs modalités. Thése de doctorat, spécialité informatique, Ecole Nationale Supérieure des Télécommunications de Paris, juin (1999)

by Akim Demaille