Login / Signup

Proving Consistency Assertions for Automotive Product Data Management.

Wolfgang KüchlinCarsten Sinz
Published in: J. Autom. Reason. (2000)
Keyphrases