Modeling and Model Checking Software Product Lines

TitleModeling and Model Checking Software Product Lines
Publication TypeConference Paper
Year of Publication2008
AuthorsGruler, A, Leucker, M, Scheidemann, K
Conference NameProceedings of the 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'08)
SeriesLecture Notes in Computer Science
Volume5051
PublisherSpringer-Verlag
Conference LocationOslo, 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}
}
Postscript: