Login / Signup

Algorithmic analysis of termination and counter complexity in vector addition systems with states: a survey of recent results.

Antonín Kucera
Published in: ACM SIGLOG News (2021)
Keyphrases