in RUNTIME VERIFICATION (RV 2022) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 13498, Pages: 283-292 (10)
Conference
22Nd International Conference on Runtime Verification (Rv) Held as Part of the Computational Logic Autumn Summit (Clas), Date: SEP 28-30, 2022, Location: Javakhishvili Tbilisi State Univ, Tbilisi, GEORGIA, Host: Javakhishvili Tbilisi State Univ