Qualitative Probabilistic Modelling in Event-B (BiBTeX)

@InProceedings{hallerstede07:_qualit_probab_model_event_b,
  author = 	 {Stefan Hallerstede and Thai Son Hoang},
  title = 	 {Qualitative Probabilistic Modelling in {Event-B}},
  crossref =	 {davies07:_ifm2007},
  pages =	 {293-312},
  note =         {\url{http://dx.doi.org/10.1007/978-3-540-73210-5_16}}
}

@Proceedings{davies07:_ifm2007,
  title = 	 {Proceedings of the 6th International Conference on Integrated Formal Methods ({IFM2007})},
  booktitle = 	 {Integrated Formal Methods},
  editor =	 {Jim Davies and Jeremy Gibbons},
  volume =	 4591,
  series =	 {Lecture Notes in Computer Science},
  year = 	 2007,
  month =	 jul,
  address =	 {Oxford, United Kingdom},
  publisher =	 {Springer-Verlag}
}