Travelled to:1 × United Kingdom
Collaborated with:B.Bollig J.Katoen C.Kern M.Leucker D.Neider
Talks about:framework (1) automata (1) libalf (1) learn (1)
Person: David R. Piegdon
DBLP: Piegdon:David_R=
Contributed to:
2010Wrote 1 papers:
- CAV-2010-BolligKKLNP #automaton #framework #learning #named
- libalf: The Automata Learning Framework (BB, JPK, CK, ML, DN, DRP), pp. 360–364.