CTL Model Checking for Software Product Lines in NuSMV

Research output: Other contribution

223 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2010

Cite this

@misc{943f7d836e424b8e9c52155c7e40bb06,
title = "CTL Model Checking for Software Product Lines in NuSMV",
author = "Andreas Classen",
year = "2010",
language = "English",
type = "Other",

}

TY - GEN

T1 - CTL Model Checking for Software Product Lines in NuSMV

AU - Classen, Andreas

PY - 2010

Y1 - 2010

M3 - Other contribution

ER -