Böhm, P. (2007). Formal Verification of a Clock Synchronization Method in a Distributed Automotive System.
Chicagoスタイル(17版)引用形式Böhm, P. Formal Verification of a Clock Synchronization Method in a Distributed Automotive System. 2007.
MLA(9版)引用形式Böhm, P. Formal Verification of a Clock Synchronization Method in a Distributed Automotive System. 2007.
警告: この引用は必ずしも正確ではありません.