Παραπομπή σε μορφή APA (7η εκδ.)

Tabuada, P. (2009). Verification and Control of Hybrid Systems: A Symbolic Approach. Springer US.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Tabuada, Paulo. Verification and Control of Hybrid Systems: A Symbolic Approach. Boston, MA: Springer US, 2009.

Παραπομπή σε μορφή MLA (8th εκδ.)

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