Browsing LAMSADE (UMR CNRS 7243) by Author "Gastin, Paul"
-
Intersection of Regular Signal-Event (Timed) Languages
Bérard, Béatrice; Gastin, Paul; Petit, Antoine (2006) Communication / Conférence -
Refinements and Abstractions of Signal-Event (Timed) Languages
Petit, Antoine; Gastin, Paul; Bérard, Béatrice (2006) Communication / Conférence -
Timed substitutions for regular signal-event languages
Bérard, Béatrice; Gastin, Paul; Petit, Antoine (2007) Article accepté pour publication ou publié