BibTeX Entry

Back to list

@inproceedings{Parosh:etal:qapl,
  author	= {Abdulla, Parosh Aziz and d'Orso, Juilen and Rezine, Ahmed},
  title		= {Quantitative Analysis of Infinite {Markov} Chains},
  booktitle	= {QAPL'04-2nd Workshop on Quantitative Aspects of Programming Languages},
  year		= {2004},
  URL		= {files/qapl04.ps}
}