Yliès Falcone, Klaus Havelund, Giles Reger. A Tutorial on Runtime Verification. In Manfred Broy, Doron Peled, Georg Kalus, editors, Engineering Dependable Software Systems. Volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 141-175, IOS Press, 2013. [doi]
@incollection{FalconeHR13, title = {A Tutorial on Runtime Verification}, author = {Yliès Falcone and Klaus Havelund and Giles Reger}, year = {2013}, doi = {10.3233/978-1-61499-207-3-141}, url = {http://dx.doi.org/10.3233/978-1-61499-207-3-141}, researchr = {https://researchr.org/publication/FalconeHR13}, cites = {0}, citedby = {0}, pages = {141-175}, booktitle = {Engineering Dependable Software Systems}, editor = {Manfred Broy and Doron Peled and Georg Kalus}, volume = {34}, series = {NATO Science for Peace and Security Series, D: Information and Communication Security}, publisher = {IOS Press}, isbn = {978-1-61499-207-3}, }