TY - DATA AU - Paulo Tabuada TI - Verification and Control of Hybrid Systems SN - 9781441902245 PY - 2009/// PB - Springer US KW - Mathematics and Statistics UR - https://doi.org/10.1007/978-1-4419-0224-5 ER -