@inproceedings{BBMU12,
  title = "Concurrent games with ordered objectives",
  author = "Bouyer, Patricia and Brenguier, Romain and Markey, Nicolas and Ummels, Michael",
  year = "2012",
  booktitle = "{P}roceedings of the 15th {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation {S}tructure ({FoSSaCS}'12)",
  month = "mar",
  pages = "301-315",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "7213",
}