Aleksandar S. Dimovski. $\hbox {CTL}^{\star }$ family-based model checking using variability abstractions and modal transition systems. STTT, 22(1):35-55, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.