Document Preview Unavailable
On Verifying Temporal Properties of Configurable Software
Dimovski, Aleksandar S; Fetaji, Bekim. The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, (2023).You might have access to this document
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library




