(2012). Integrated formal analysis of timed-triggered ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre.
Style de citation Chicago (17e éd.)Integrated Formal Analysis of Timed-triggered Ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre. 2012.
Style de citation MLA (9e éd.)Integrated Formal Analysis of Timed-triggered Ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre. 2012.
Attention : ces citations peuvent ne pas être correctes à 100%.