%0 Conference Paper %1 conf/pfe/MannionC03 %A Mannion, Mike %A Cámara, Javier %B PFE %D 2003 %E van der Linden, Frank %I Springer %K dblp %P 211-224 %T Theorem Proving for Product Line Model Verification. %U http://dblp.uni-trier.de/db/conf/pfe/pfe2003.html#MannionC03 %V 3014 %@ 3-540-21941-2

@inproceedings{conf/pfe/MannionC03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Mannion, Mike and Cámara, Javier}, biburl = {https://www.bibsonomy.org/bibtex/27562c3728f2d6f4e6fab809e0da0cb7f/dblp}, booktitle = {PFE}, crossref = {conf/pfe/2003}, editor = {van der Linden, Frank}, ee = {https://doi.org/10.1007/978-3-540-24667-1_16}, interhash = {a42802fe2e5d9bd789c2212d8c6b40be}, intrahash = {7562c3728f2d6f4e6fab809e0da0cb7f}, isbn = {3-540-21941-2}, keywords = {dblp}, pages = {211-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:36:39.000+0200}, title = {Theorem Proving for Product Line Model Verification.}, url = {http://dblp.uni-trier.de/db/conf/pfe/pfe2003.html#MannionC03}, volume = 3014, year = 2003 }