logo
BibTeX Entry


@article{Parosh:etal:attractor:IC,
  author	= {Abdulla, Parosh Aziz and Bertrand, Nathalie and Rabinovich, Alexander and Ph},
  title		= {Verification of Probabilistic Systems with Faulty Communication},
  journal	= {Information and Computation},
  volume	= {202},
  number	= {2},
  year		= {2005},
  pages		= {105--228},
  URL		= {files/plcs_attractor.ps}
}