Systems Design Guided by Progress Concerns (BiBTeX)

@InProceedings{hudon13:_system_desig_guided_progr_concer,
  author = 	 {Simon Hudon and Thai Son Hoang},
  title = 	 {Systems Design Guided by Progress Concerns},
  crossref = 	 {johnsen13:_ifm2013},
  pages = 	 {16--30},
  note = 	 {\url{http://dx.doi.org/10.1007/978-3-642-38613-8_2}}
}

@Proceedings{johnsen13:_ifm2013,
  title = 	 {Proceedings of the 10th International Conference on Integrated Formal Methods ({IFM2013})},
  booktitle = 	 {Integrated Formal Methods},
  editor = 	 {Einar Broch Johnsen and Luigia Petre},
  volume = 	 7940,
  series = 	 {Lecture Notes in Computer Science},
  year = 	 2013,
  month = 	 jun,
  address = 	 {Turku, Finland},
  publisher = 	 {Springer-Verlag},
  note = 	 {\url{http://dx.doi.org/10.1007/978-3-642-38613-8}}
}