@InProceedings{	  inp:MantelGaertner2000a,
  author	= {Heiko Mantel and Felix G\"artner},
  title		= {{A Case Study in the Mechanical Verification of Fault
		  Tolerance}},
  booktitle	= {Proceedings of the 13th International Florida Artificial
		  Intelligence Research Society Conference (FLAIRS)},
  pages		= {341--345},
  year		= 2000,
  address	= {Orlando, Florida, USA},
  month		= {22-24 May},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2000/2000-flairs.pdf},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2000/2000-flairs.PS.zip},
  publisher	= {AAAI Press}
}