BibTeX Entry

Back to list

@inproceedings{Parosh:Karlis:one:counter,
  author	= {Abdulla, Parosh Aziz and Cerans, Karlis},
  title		= {Simulation is Decidable for One-counter Nets},
  booktitle	= {Proc. CONCUR '95-9th Int. Conf. on Concurrency Theory},
  series	= {Lecture Notes in Computer Science},
  volume	= {1466},
  pages		= {253--268},
  year		= {1998},
  URL		= {files/one_counter.ps}
}