Citação APA (7ª ed.)

Böhm, P. (2007). Formal Verification of a Clock Synchronization Method in a Distributed Automotive System.

Citação do estilo Chicago (17ª ed.)

Böhm, P. Formal Verification of a Clock Synchronization Method in a Distributed Automotive System. 2007.

Citação MLA (9ª ed.)

Böhm, P. Formal Verification of a Clock Synchronization Method in a Distributed Automotive System. 2007.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.