On History-Deterministic One-Counter Nets.

Aditya Prakash, K. S. Thejaswini

Browse the full FOSSACS paper archive.