Fairness for Infinite-State Systems

Cook, B.; Khlaaf, H.; Piterman, N.

Fairness for Infinite-State Systems (bibtex)

@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@InProceedings{CKP15a,
  author =       {B. Cook and H. Khlaaf and N. Piterman},
  title = 	 {Fairness for Infinite-State Systems},
  booktitle = {21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages = 	 {384--398},
  year = 	 {2015},
  publisher = springer,
  series = lncs,
  volume = {9035},
  pdf = 	 {2015/CKP15a.pdf},
  OPTurl = 	 {},
  keywords = {Model Checking,Temporal Logic},
}