W
[Wal96] Igor Walukiewicz. Pushdown Processes: Games and Model Checking. In CAV'96, Lecture Notes in Computer Science 1102, pages 234-263. Springer-Verlag, July 1996. 
@inproceedings{cav1996-Wal,
  author =              {Walukiewicz, Igor},
  title =               {Pushdown Processes: Games and Model Checking},
  editor =              {Alur, Rajeev and Henzinger, Thomas A.},
  booktitle =           {{P}roceedings of the 8th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'96)},
  acronym =             {{CAV}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1102},
  pages =               {234-263},
  year =                {1996},
  month =               jul,
}
List of authors