Event-B Decomposition for Parallel Programs (BiBTeX)

@InProceedings{hoang10:_event_b_decom_paral_progr,
  author = 	 {Thai Son Hoang and Jean-Raymond Abrial},
  title = 	 {{Event-B} Decomposition for Parallel Programs},
  crossref = 	 {frappier10:_abz2010},
  pages =        {319--333},
  note = 	 {\url{http://dx.doi.org/10.1007/978-3-642-11811-1_24}}
}

@Proceedings{frappier10:_abz2010,
  title = 	 {Proceedings of the 2nd International Conference on {Abstract State Machines}, {Alloy}, {B} and {Z} ({ABZ2010})},
  booktitle = 	 {{Abstract State Machines}, {Alloy}, {B} and {Z}},
  editor = 	 {Marc Frappier and Uwe Gl{\"a}sser and Sarfraz Khurshid and R{\'e}gine Laleau and Steve Reeves},
  volume = 	 5977,
  series = 	 {Lecture Notes in Computer Science},
  year = 	 2010,
  month = 	 feb,
  address = 	 {Orford, Canada},
  publisher = 	 {Springer-Verlag},
  note = 	 {\url{http://dx.doi.org/10.1007/978-3-642-11811-1}}
}