Model Checking for Software Product Lines with SNIP

Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens

Research output: Other contribution

235 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2012

Access to Document

  • 73891Submitted manuscript, 1.7 MB

    • Evolution: Evolution

      Cleve, A. (PI)

      1/01/10 → 31/01/10

      Project: Research Axis

    Cite this