Treffer: Towards Using Structural Abstraction for Model Checking

Title:
Towards Using Structural Abstraction for Model Checking
Authors:
Luckeneder, Christoph, Hoch, Ralph, Kaindl, Hermann
Source:
2023 10th International Conference on Dependable Systems and Their Applications (DSA) DSA Dependable Systems and Their Applications (DSA), 2023 10th International Conference on. :105-113 Aug, 2023
Relation:
2023 10th International Conference on Dependable Systems and Their Applications (DSA)
Database:
IEEE Xplore Digital Library