Login / Signup

Automated synthesis and design-error repair of systems.

Georg Hofferek
Published in: DDECS (2012)
Keyphrases