SNIP: An Efficient Model Checker for Software Product Lines

Research output: Other contribution

259 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2011

Projects

Evolution: Evolution

Cleve, A.

1/01/1031/01/10

Project: Research Axis

Cite this