DeltaCCS
From MaRDI portal
Software:26376
No author found.
Related Items (3)
Family-Based SPL Model Checking Using Parity Games with Variability ⋮ Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints ⋮ From EU Projects to a Family of Model Checkers
This page was built for software: DeltaCCS
