Bonakdarpour, B., Momtaz, A., Nickovic, D. & Sarac, E. (Autor:in und Vortragende:r), 2024, Runtime Verification - 23rd International Conference, (RV) 2024. Ábrahám, E. & Abbas, H. (Hrsg.). Band 15191. S. 282-301 ( Lecture Notes in Computer Science; Band 15191).
Publikation: Beitrag in Buch oder Tagungsband › Beitrag in Tagungsband ohne Präsentation › Begutachtung