Skip to Main content Skip to Navigation
New interface


...
tel-00659990v2  Habilitation à diriger des recherches
David Janin. A contribution to formal methods : games, logic and automata
Computer Science [cs]. Université Sciences et Technologies - Bordeaux I, 2005