@InProceedings{	  lemos.dantas.ea:on,
  author	= {Marcilio O.O.Lemos and Yuri Gil Dantas and Iguatemi E.
		  Fonseca and Vivek Nigam},
  title		= {On the Accuracy of Formal Verification of Selective
		  Defenses for TDoS Attacks},
  booktitle	= {Proceedings of the Journal of Logical and Algebraic
		  Methods in Programming (JLAMP)},
  year		= 2018,
  pages		= {45-67},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2017/OnTheAccuracyOfFormalVerificationOfSelectiveDefensesForTDoSAttacks.pdf}
}