CTL Model Checking for Software Product Lines in NuSMV

Research output: Other contribution

223 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2010

Cite this