Verification and Control of Hybrid Systems

MLA

Tabuada, Paulo. Verification and Control of Hybrid Systems. Springer US, 2009.

APA

Tabuada, P. (2009). Verification and Control of Hybrid Systems. Springer US.

Chicago

Tabuada, Paulo Verification and Control of Hybrid Systems. : Springer US, 2009.