Denis Oddoux

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003

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

2001

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

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

Coauthor Index

1 Paul Gastin [1] [2]