Static Analysis of Parity Games: Alternating Reachability Under Parity

Huth, M.; Kuo, J.H.; Piterman, N.

Static Analysis of Parity Games: Alternating Reachability Under Parity (bibtex)

@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@InCollection{HKP16,
  author = 	 {M. Huth and J.H. Kuo and N. Piterman},
  title = 	 {Static Analysis of Parity Games: Alternating Reachability Under Parity},
  booktitle = 	 {Semantics, Logic, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of their 60th Birthdays},
  pages = 	 {159--177},
  publisher = springer,
  year = 	 {2016},
  volume = 	 {9560},
  series = 	 lncs,
  OPTpdf = 	 {2010/KPV10.pdf},
  OPTurl = 	 {2010/KPV10.html},
  keywords = {Games,Static Analysis},
}