iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/jss/AudritoDSTV22.rdf
Giorgio Audrito et al.: Distributed runtime verification by past-CTL and the field calculus. (2022) journals/jss/AudritoDSTV22 10.1016/J.JSS.2022.111251 Q114013784 Distributed runtime verification by past-CTL and the field calculus. 5 Giorgio Audrito 1 Ferruccio Damiani 2 Volker Stolz 3 Gianluca Torta 4 Mirko Viroli 5 111251 J. Syst. Softw. J. Syst. Softw. 187 2022 provenance information for RDF data of dblp record 'journals/jss/AudritoDSTV22' 2023-08-28T21:31:59+0200