Travelled to:
1 × France
Collaborated with:
W.Thomas N.Wallmeier
Talks about:
determin (1) automata (1) observ (1) büchi (1)
Person: Christoph Schulte Althoff
DBLP: Althoff:Christoph_Schulte
Contributed to:
Wrote 1 papers:
- CIAA-2005-AlthoffTW #automaton
- Observations on Determinization of Büchi Automata (CSA, WT, NW), pp. 262–272.