Login / Signup

Multipebble Simulations for Alternating Automata - (Extended Abstract).

Lorenzo ClementeRichard Mayr
Published in: CONCUR (2010)
Keyphrases