BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
P.Gastin
Talks about:
translat (1) automata (1) büchi (1) fast (1) ltl (1)

Person: Denis Oddoux

DBLP DBLP: Oddoux:Denis

Contributed to:

CAV 20012001

Wrote 1 papers:

CAV-2001-GastinO #automaton #ltl #performance
Fast LTL to Büchi Automata Translation (PG, DO), pp. 53–65.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.