@STRING{cav	= {CAV} }
@STRING{flops	= {FLOPS} }
@STRING{fsttcs	= {FSTTCS} }
@STRING{itp	= {ITP} }
@STRING{lncs	= {LNCS} }
@STRING{lncs	= {LNCS} }
@STRING{springer= {Springer} }
@STRING{springer= {Springer} }
@STRING{tacas	= {TACAS} }
@STRING{tphols	= {TPHOLs} }

@inproceedings{VeriLTLMC13,
year={2013},
isbn={978-3-642-39798-1},
booktitle={Computer Aided Verification},
volume={8044},
series={Lecture Notes in Computer Science},
editor={Sharygina, Natasha and Veith, Helmut},
doi={10.1007/978-3-642-39799-8_31},
title={A Fully Verified Executable LTL Model Checker},
url={https://doi.org/10.1007/978-3-642-39799-8_31},
publisher={Springer Berlin Heidelberg},
author={Esparza, Javier and Lammich, Peter and Neumann, RenÃ© and Nipkow, Tobias and Schimpf, Alexander and Smaus, Jan-Georg},
pages={463-478}
}

@InProceedings{La14_ITP,
  author  = {Peter Lammich},
  booktitle = {Proc. of ITP},
  title   = {Verified Efficient Implementation of {Gabow's} Strongly Connected Component Algorithm},
  year    = 2014,
  note = "to appear"
}

@InProceedings{HPY97,
  author  = {Gerard Holzmann and Doron Peled and Mihalis Yannakakis},
  title   = {On Nested Depth First Search},
  booktitle = {Proc. of SPIN Workshop},
  year    = {1997},
  volume  = {32},
  series  = {Discrete Mathematics and Theoretical Computer Science},
  pages   = {23--32},
  publisher = {American Mathematical Society}
}

@InProceedings{   SE05,
  author  = {Stefan Schwoon and Javier Esparza},
  title   = {A Note on On-The-Fly Verification Algorithms},
  booktitle = {Tools and Algorithms for the Construction and Analysis of
      Systems (TACAS)},
  year    = {2005},
  editor  = {Nicolas Halbwachs and Lenore Zuck},
  volume  = {3440},
  series  = lncs,
  pages   = {174--190},
  publisher = springer
}
