Stefan Göller, Richard Mayr, Anthony Widjaja To
On the Computational Complexity of Verifying One-Counter Processes
LICS, 2009.
@inproceedings{LICS-2009-GollerMT,
author = "Stefan Göller and Richard Mayr and Anthony Widjaja To",
booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2009.37",
isbn = "978-0-7695-3746-7",
pages = "235--244",
publisher = "{IEEE Computer Society}",
title = "{On the Computational Complexity of Verifying One-Counter Processes}",
year = 2009,
}