Travelled to:
1 × Canada
Collaborated with:
J.Vöge O.Matz N.Buhrke
Talks about:
automata (1) theori (1) packag (1) omega (1)
Person: S. Ulbrand
DBLP: Ulbrand:S=
Contributed to:
Wrote 1 papers:
- WIA-1997-VogeUMB #automaton
- The Automata Theory Package omega (JV, SU, OM, NB), pp. 228–231.