Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/icse/CordyCPSHL12
%A Cordy, Maxime
%A Classen, Andreas
%A Perrouin, Gilles
%A Schobbens, Pierre-Yves
%A Heymans, Patrick
%A Legay, Axel
%B ICSE
%D 2012
%E Glinz, Martin
%E Murphy, Gail C.
%E Pezzè, Mauro
%I IEEE Computer Society
%K dblp
%P 672-682
%T Simulation-based abstractions for software product-line model checking.
%U http://dblp.uni-trier.de/db/conf/icse/icse2012.html#CordyCPSHL12
%@ 978-1-4673-1067-3
@inproceedings{conf/icse/CordyCPSHL12,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Cordy, Maxime and Classen, Andreas and Perrouin, Gilles and Schobbens, Pierre-Yves and Heymans, Patrick and Legay, Axel},
biburl = {https://www.bibsonomy.org/bibtex/22ab4f1be62a87475bec709b91cbf861a/dblp},
booktitle = {ICSE},
crossref = {conf/icse/2012},
editor = {Glinz, Martin and Murphy, Gail C. and Pezzè, Mauro},
ee = {http://dl.acm.org/citation.cfm?id=2337302},
interhash = {35d786cdd15de275312e837308b721cf},
intrahash = {2ab4f1be62a87475bec709b91cbf861a},
isbn = {978-1-4673-1067-3},
keywords = {dblp},
pages = {672-682},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T05:37:41.000+0200},
title = {Simulation-based abstractions for software product-line model checking.},
url = {http://dblp.uni-trier.de/db/conf/icse/icse2012.html#CordyCPSHL12},
year = 2012
}