Modelling and Model Checking Variability-Intensive Systems with Featured Transition Systems (submitted)

Research output: Other contribution

Original languageEnglish
Publication statusUnpublished - 2012

Cite this

@misc{dbbb0b6d4e304468a5b0c879e8089d69,
title = "Modelling and Model Checking Variability-Intensive Systems with Featured Transition Systems (submitted)",
author = "Andreas Classen and Patrick Heymans and Pierre-Yves Schobbens and Maxime Cordy and Axel Legay and Jean-Fran{\cc}ois Raskin",
year = "2012",
language = "English",
type = "Other",

}

TY - GEN

T1 - Modelling and Model Checking Variability-Intensive Systems with Featured Transition Systems (submitted)

AU - Classen, Andreas

AU - Heymans, Patrick

AU - Schobbens, Pierre-Yves

AU - Cordy, Maxime

AU - Legay, Axel

AU - Raskin, Jean-François

PY - 2012

Y1 - 2012

M3 - Other contribution

ER -