@InProceedings{	  Petersen09dlt,
  author	= "Holger Petersen",
  title		= "Simulations by Time-{B}ounded Counter Machines",
  booktitle	= "13th International Conference, DLT 2009, Stuttgart,
		  Germany, June 30--July 3, 2009, Proceedings",
  publisher	= "Springer-Verlag",
  year		= "2009",
  volume	= "5583",
  editor	= "Diekert, Volker and Nowotka, Dirk",
  pages		= "410--418",
  series	= "Lecture Notes in Computer Science",
  doi		= "10.1007/F978-3-642-02737-6_33"
}