@inproceedings{deKoningGansDeRuiter2012,
  author = {Gerhard de Koning Gans and Joeri de Ruiter},
  affiliation = {Digital Security Group, Institute for Computing and Information Science (ICIS), Radboud University Nijmegen, The Netherlands},
  title = {The SmartLogic Tool: Analysing and Testing Smart Card Protocols},
  book ={IEEE Fifth International Conference on Software Testing, Verification, and Validation},
  isbn = {978-0-7695-4670-4},
  year = {2012},
  pages = {864-871},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2012.189},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
}