@InProceedings{BHHK00a,
  author = 	 {Christel Baier and Boudewijn Haverkort and Holger Hermanns and
       Joost-Pieter Katoen},
  title = 	 {On logical characterisations of
       performability properties},
  booktitle = 	 {Proc. ICALP 2000},
  pages =	 {780-792},
  year =	 2000,
  volume =	 1853,
  series =	 {LNCS}
}