Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Syed Hussein S. Alwi

Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process

Lecture Notes in Electrical Engineering

Manufacturing Engineering

English