Modeling and Model Checking Software Product Lines
| Title | Modeling and Model Checking Software Product Lines |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Gruler, A, Leucker, M, Scheidemann, K |
| Conference Name | Proceedings of the 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'08) |
| Series | Lecture Notes in Computer Science |
| Volume | 5051 |
| Publisher | Springer-Verlag |
| Conference Location | Oslo, Norway |
Bibtex:
@inproceedings {GrulerLS08,
title = {Modeling and Model Checking Software Product Lines},
booktitle = {Proceedings of the 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS{\textquoteright}08)},
series = {Lecture Notes in Computer Science},
volume = {5051},
year = {2008},
pages = {113{\textendash}131},
publisher = {Springer-Verlag},
organization = {Springer-Verlag},
address = {Oslo, Norway},
author = {Alexander Gruler and Martin Leucker and Kathrin Scheidemann}
}PDF:
Postscript:
