Media type: E-Article Title: Lecture Notes in Computer Science: Symbolic Model Checking of Relative Safety LTL Properties Contributor: Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco imprint: Springer Nature Switzerland, 2024 Published in: Lecture Notes in Computer Science Language: English DOI: 10.1007/978-3-031-47705-8_16 ISSN: 0302-9743; 1611-3349 Origination: Footnote: