Simulation-Based Abstractions for Software Product-Line Model Checking

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

Research output: Other contribution

109 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2011

Access to Document

  • 72755Submitted manuscript, 343 KB

    • Evolution: Evolution

      Cleve, A. (PI)

      1/01/10 → 31/01/10

      Project: Research Axis

    Cite this