@inproceedings{DKFW10,
  title = "SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems",
  author = "Klaus Dr{\"a}ger and Andrey Kupriyanov and Bernd Finkbeiner and Heike Wehrheim",
  year = "2010",
  booktitle = "Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
  editor = "Javier Esparza and Rupak Majumdar",
  pages = "271-274",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6015",
}