Denis Oddoux (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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

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

Selection of 2 from 2 records - Denis Oddoux has 1 coauthors

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