E
[Esp14] Javier Esparza. Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk). In STACS'14, Leibniz International Proceedings in Informatics 25, pages 1-10. Leibniz-Zentrum für Informatik, March 2014. 
@inproceedings{stacs2014-Esp,
  author =              {Esparza, Javier},
  title =               {Keeping a Crowd Safe: On the Complexity of
                         Parameterized Verification (Invited Talk)},
  editor =              {Mayr, Ernst W. and Portier, Natacha},
  booktitle =           {{P}roceedings of the 31st {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'14)},
  acronym =             {{STACS}'14},
  publisher =           {Leibniz-Zentrum f{\"u}r Informatik},
  series =              {Leibniz International Proceedings in Informatics},
  volume =              {25},
  pages =               {1-10},
  year =                {2014},
  month =               mar,
  doi =                 {10.4230/LIPIcs.STACS.2014.1},
}
List of authors