Pascal Fradet, Stéphane Hong Tuan Ha. Aspects of availability: Enforcing timed properties to prevent denial of service. Science of Computer Programming, 75(7):516-542, 2010. [doi]
@article{FradetH10, title = {Aspects of availability: Enforcing timed properties to prevent denial of service}, author = {Pascal Fradet and Stéphane Hong Tuan Ha}, year = {2010}, doi = {10.1016/j.scico.2009.10.002}, url = {http://dx.doi.org/10.1016/j.scico.2009.10.002}, tags = {Pascal}, researchr = {https://researchr.org/publication/FradetH10}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {75}, number = {7}, pages = {516-542}, }