Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin. Formal methods for the validation of automotive product configuration data. AI EDAM, 17(1):75-97, 2003.
@article{SinzKK03,
title = {Formal methods for the validation of automotive product configuration data},
author = {Carsten Sinz and Andreas Kaiser and Wolfgang Küchlin},
year = {2003},
tags = {data validation, data-flow},
researchr = {https://researchr.org/publication/SinzKK03},
cites = {0},
citedby = {0},
journal = {AI EDAM},
volume = {17},
number = {1},
pages = {75-97},
}