@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},
}