Denis Oddoux

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2003

2 Paul Gastin, Denis Oddoux: LTL with Past and Two-Way Very-Weak Alternating Automata. MFCS 2003: 439-448

2001

1 Paul Gastin, Denis Oddoux: Fast LTL to Büchi Automata Translation. CAV 2001: 53-65

	2003
2		Paul Gastin, Denis Oddoux: LTL with Past and Two-Way Very-Weak Alternating Automata. MFCS 2003: 439-448
	2001
1		Paul Gastin, Denis Oddoux: Fast LTL to Büchi Automata Translation. CAV 2001: 53-65

Coauthor Index

1 Paul Gastin [1] [2]