BibTeX Entry

Back to list

@inproceedings{Parosh:etal:MC:infinite,
  author	= {Abdulla, Parosh Aziz and Henda, Noomene Ben and Mayr, Richard},
  title		= {Verifying Infinite {Markov} Chains with a Finite Attractor or the Global Coarseness Property},
  booktitle	= {Proc. LICS '05-21th IEEE Int. Symp. on Logic in Computer Science},
  pages		= {127--136},
  year		= {2005},
  URL		= {files/lics05.ps}
}