Publication Overview

Andreas Nonnengart

Hybrid Systems Verification by Location Elimination

Published in: HSCC
Year: 2000
Pages: 352-365