Login / Signup

Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets.

Philippe Schnoebelen
Published in: MFCS (2010)
Keyphrases