1 book • 1 series
Automatic Methods for the Refinement of System Models (SpringerBriefs in Electrical and Computer Engineering)