Цитирование APA (7-е изд.)

(2012). Integrated formal analysis of timed-triggered ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre.

Цитирование в стиле Чикаго (17-е изд.)

Integrated Formal Analysis of Timed-triggered Ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre. 2012.

Цитирование MLA (9-е изд.)

Integrated Formal Analysis of Timed-triggered Ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre. 2012.

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.