Paulo Tabuada

Verification and Control of Hybrid Systems - 2009 - Springer US 2009

9781441902245


Mathematics and Statistics