Travelled to:
1 × Russia
Collaborated with:
A.Laarman M.C.Olesen K.G.Larsen J.v.d.Pol
Talks about:
automata (1) abstract (1) inclus (1) multi (1) empti (1) check (1) büchi (1) time (1) core (1) use (1)
Person: Andreas Engelbredt Dalsgaard
DBLP: Dalsgaard:Andreas_Engelbredt
Contributed to:
Wrote 1 papers:
- CAV-2013-LaarmanODLP #abstraction #automaton #manycore #using
- Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction (AL, MCO, AED, KGL, JvdP), pp. 968–983.