Login / Signup

Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm.

Rossella ArcucciUmberto MarottaAniello MuranoLoredana Sorrentino
Published in: ICCS (2017)
Keyphrases