Efficient Verification Algorithms for One-Counter Processes.

Antonn Kucera

Browse the full ICALP paper archive.