@InProceedings{GoellerMayrWidjaja-LICS09, author = {Stefan G\"oller and Richard Mayr and Anthony Widjaja To}, title = {On the Computational Complexity of Verifying One-Counter Processes}, booktitle = {Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science ({LICS09})}, year = {2009}, publisher = {IEEE Computer Society}, }