S
[Sti95] Colin Stirling. Local Model Checking Games (Extended Abstract). In CONCUR'95, Lecture Notes in Computer Science 962, pages 1-11. Springer-Verlag, August 1995. 
@inproceedings{concur1995-Sti,
  author =              {Stirling, Colin},
  title =               {Local Model Checking Games (Extended Abstract)},
  editor =              {Lee, Insup and Smolka, Scott A.},
  booktitle =           {{P}roceedings of the 6th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'95)},
  acronym =             {{CONCUR}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {962},
  pages =               {1-11},
  year =                {1995},
  month =               aug,
}
List of authors