QueilleS83'

BibTeX

@article{DBLP:journals/acta/QueilleS83,
  author    = {Jean-Pierre Queille and
               Joseph Sifakis},
  title     = {Fairness and Related Properties in Transition Systems -
               A Temporal Logic to Deal with Fairness},
  journal   = {Acta Inf.},
  volume    = {19},
  year      = {1983},
  pages     = {195-220},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}