@inproceedings{DLSP09,
  title         = {PAT: {T}owards flexible verification under fairness},
  author        = {J. Sun and Y. Liu and J.-S. Dong and J. Pang},
  booktitle     = {Proc.\ 21th International Conference on Computer Aided Verification},
  publisher     = {Springer-Verlag},
  series        = {LNCS},
  year          = {2009},
  volume        = {5643},
  pages         = {709--714},
  url           = {http://satoss.uni.lu/members/jun/papers/CAV09.pdf}
}