Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/tse/ClassenCSHLR13
%A Classen, Andreas
%A Cordy, Maxime
%A Schobbens, Pierre-Yves
%A Heymans, Patrick
%A Legay, Axel
%A Raskin, Jean-François
%D 2013
%J IEEE Trans. Software Eng.
%K analysis dblp oriented product software solution system variability
%N 8
%P 1069-1089
%T Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.
%U http://dblp.uni-trier.de/db/journals/tse/tse39.html#ClassenCSHLR13
%V 39
@article{journals/tse/ClassenCSHLR13,
added-at = {2013-11-22T11:44:21.000+0100},
author = {Classen, Andreas and Cordy, Maxime and Schobbens, Pierre-Yves and Heymans, Patrick and Legay, Axel and Raskin, Jean-François},
biburl = {https://www.bibsonomy.org/bibtex/269acd5d7c9ce4293e1984269c7277760/olgaspezial},
ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.86},
interhash = {ee46cd0bf37f3db94db83c4b111a2796},
intrahash = {69acd5d7c9ce4293e1984269c7277760},
journal = {IEEE Trans. Software Eng.},
keywords = {analysis dblp oriented product software solution system variability},
number = 8,
pages = {1069-1089},
timestamp = {2013-11-22T11:44:21.000+0100},
title = {Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.},
url = {http://dblp.uni-trier.de/db/journals/tse/tse39.html#ClassenCSHLR13},
volume = 39,
year = 2013
}