P Gastin, D Oddoux

Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001

M Droste, P Gastin

Theoretical computer science 380 (1-2), 69-86, 2007

B Bérard, A Petit, V Diekert, P Gastin

Fundamenta Informaticae 36 (2-3), 145-182, 1998

V Diekert, P Gastin

Logic and automata 2, 261-306, 2008

V Diekert, P Gastin, M Kufleitner

International Journal of Foundations of Computer Science 19 (03), 513-548, 2008

M Droste, P Gastin

International Colloquium on Automata, Languages, and Programming, 513-525, 2005

M Droste, P Gastin

Handbook of weighted automata, 175-211, 2009

P Gastin, P Moro, M Zeitoun

International SPIN Workshop on Model Checking of Software, 92-108, 2004

P Gastin

LITP Spring School on Theoretical Computer Science, 277-308, 1990

P Gastin, A Petit

Automata, Languages and Programming: 19th International Colloquium Wien …, 1992

V Diekert, P Gastin, A Petit

STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science …, 1997

P Gastin, D Oddoux

International Symposium on Mathematical Foundations of Computer Science, 439-448, 2003

B Bérard, P Gastin, A Petit

STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science …, 1996

A Cyriac, P Gastin, KN Kumar

International Conference on Concurrency Theory, 547-561, 2012

P Gastin, B Lerman, M Zeitoun

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005

V Diekert, P Gastin

Information and Computation 204 (11), 1597-1619, 2006

B Bollig, P Gastin

International Conference on Developments in Language Theory, 18-38, 2009

M Droste, P Gastin, D Kuske

Theoretical Computer Science 247 (1-2), 1-38, 2000

S Akshay, B Bollig, P Gastin, M Mukund, K Narayan Kumar

International Conference on Concurrency Theory, 82-97, 2008

M Droste, P Gastin

Theory of Computing Systems 42, 608-631, 2008