@InProceedings{SchMerSma09,
  author = 	 {Alexander Schimpf and Stephan Merz and Jan-Georg Smaus},
  editor =       {Tobias Nipkow and Christian Urban},
  title = 	 {Construction of B\"uchi Automata for {LTL} Model Checking Verified in {I}sabelle/{HOL}},
  booktitle = 	 {Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics},
  year =	 2009,
  pages =        {424-439},
  series =	 {LNCS},
  volume =       {5674},
  publisher =	 {Springer-Verlag}
}