| Original language | English |
|---|---|
| Publication status | Published - 2010 |
CTL Model Checking for Software Product Lines in NuSMV
Andreas Classen
Research output: Other contribution
262
Downloads
(Pure)