Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli. Distributed runtime verification by past-CTL and the field calculus. Journal of Systems and Software, 187:111251, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.