Inproceedings,
Towards an incremental automata-based approach for software product-line model checking.
M. Cordy, P. Schobbens, P. Heymans, and A. Legay.SPLC (2), page 74-81. ACM, (2012)
Meta data
- BibTeX key
- conf/splc/CordySHL12a
- entry type
- inproceedings
- booktitle
- SPLC (2)
- year
- 2012
- pages
- 74-81
- publisher
- ACM
- crossref
- conf/splc/2012-2
- ee
- https://doi.org/10.1145/2364412.2364425
- isbn
- 978-1-4503-1095-6
- url
- http://dblp.uni-trier.de/db/conf/splc/splc2012-2.html#CordySHL12a
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/splc/CordySHL12a
%A Cordy, Maxime
%A Schobbens, Pierre-Yves
%A Heymans, Patrick
%A Legay, Axel
%B SPLC (2)
%D 2012
%E de Almeida, Eduardo Santana
%E Schwanninger, Christa
%E Benavides, David
%I ACM
%K dblp
%P 74-81
%T Towards an incremental automata-based approach for software product-line model checking.
%U http://dblp.uni-trier.de/db/conf/splc/splc2012-2.html#CordySHL12a
%@ 978-1-4503-1095-6
@inproceedings{conf/splc/CordySHL12a,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Cordy, Maxime and Schobbens, Pierre-Yves and Heymans, Patrick and Legay, Axel},
biburl = {https://www.bibsonomy.org/bibtex/2cf0203811c8cb940722a6f6f865745f1/dblp},
booktitle = {SPLC (2)},
crossref = {conf/splc/2012-2},
editor = {de Almeida, Eduardo Santana and Schwanninger, Christa and Benavides, David},
ee = {https://doi.org/10.1145/2364412.2364425},
interhash = {a04cc3c0544b8cbe0449fc3e99800ec6},
intrahash = {cf0203811c8cb940722a6f6f865745f1},
isbn = {978-1-4503-1095-6},
keywords = {dblp},
pages = {74-81},
publisher = {ACM},
timestamp = {2020-10-29T11:35:26.000+0100},
title = {Towards an incremental automata-based approach for software product-line model checking.},
url = {http://dblp.uni-trier.de/db/conf/splc/splc2012-2.html#CordySHL12a},
year = 2012
}