Simulation-Based Abstractions for Software Product-Line Model Checking

Research output: Other contribution

60 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2011

Cite this

@misc{e8862db07bf74e709d76e9160d471687,
title = "Simulation-Based Abstractions for Software Product-Line Model Checking",
author = "Maxime Cordy and Andreas Classen and Gilles Perrouin and Patrick Heymans and Pierre-Yves Schobbens and Axel Legay",
year = "2011",
language = "English",
type = "Other",

}

TY - GEN

T1 - Simulation-Based Abstractions for Software Product-Line Model Checking

AU - Cordy, Maxime

AU - Classen, Andreas

AU - Perrouin, Gilles

AU - Heymans, Patrick

AU - Schobbens, Pierre-Yves

AU - Legay, Axel

PY - 2011

Y1 - 2011

M3 - Other contribution

ER -