Probabilistic Invariant for Probabilistic Machines (BiBTeX)

@InProceedings{hoang03:_probab_invar_probab_machin,
  author =	 {Thai Son Hoang and Zhendong Jin and Ken Robinson and Annabelle McIver and Carroll Morgan},
  title =	 {Probabilistic Invariants for Probabilistic Machines},
  crossref =	 {bert03:_zb2003},
  pages =        {240--259},
  note =         {\url{http://dx.doi.org/10.1007/3-540-44880-2_16}}
}

@Proceedings{bert03:_zb2003,
  title =        {Proceedings of the 3rd International Conference of {B} and {Z} Users ({ZB2003})},
  booktitle =	 {{ZB2003}: Formal Specification and Development in {Z} and {B}},
  editor =	 {Didier Bert and Jonathan Bowen and Steve King and Marina Wald\'{e}n},
  volume =	 2651,
  series =	 {Lecture Notes in Computer Science},
  year = 	 2003,
  month =	 jun,
  address =	 {Turku, Finland},
  publisher =	 {Springer-Verlag}
}