| terBeek2019splc (In proceedings)
|
| Author(s) | Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti and Luca Paolini |
| Title | « Static Analysis of Featured Transition Systems » |
| In | Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A |
| Series | SPLC '19 |
| Page(s) | 39--51 |
| Year | 2019 |
| Publisher | ACM |
| Address | New York, NY, USA |
| ISBN number | 978-1-4503-7138-4 |
| URL | http://doi.acm.org/10.1145/3336294.3336295 |
| Keywords |
| Keywords: behavioural model, featured transition systems, formal specification, software product lines, static analysis
|
@inproceedings{terBeek2019splc,
location = {Paris, France},
author = {ter Beek, Maurice H. and Damiani, Ferruccio and Lienhardt, Michael
and Mazzanti, Franco and Paolini, Luca},
series = {SPLC '19},
keywords = {behavioural model, featured transition systems, formal
specification, software product lines, static analysis},
numpages = {13},
acmid = {3336295},
booktitle = {Proceedings of the 23rd International Systems and Software
Product Line Conference - Volume A},
url = {http://doi.acm.org/10.1145/3336294.3336295},
address = {New York, NY, USA},
title = {Static Analysis of Featured Transition Systems},
isbn = {978-1-4503-7138-4},
publisher = {ACM},
doi = {10.1145/3336294.3336295},
year = {2019},
pages = {39--51},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
