학술논문
Symbolic Model Checking of Relative Safety LTL Properties
Document Type
Conference Paper
Author
Source
In: iFM 2023 - 18th International Conference, iFM 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14300 LNCS:302-320)
Subject
Language
English
ISSN
16113349
03029743
03029743