Proving Consistency Assertions for Automotive Product Data Management

Authors
W.Kuchlin,C.Sinz
Citation
W.kuchlin,c.sinz, Proving Consistency Assertions for Automotive Product Data Management, Journal of automated reasoning , 24(1/2), 2000, pp. 145-163
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
24
Issue
1/2
Year of publication
2000
Pages
145 - 163
Database
ACNP
SICI code