Böhm, P. (2007). Formal Verification of a Clock Synchronization Method in a Distributed Automotive System.
Lua i Stíl Chicago (17ú heag.)Böhm, P. Formal Verification of a Clock Synchronization Method in a Distributed Automotive System. 2007.
Lua MLA (9ú heag.)Böhm, P. Formal Verification of a Clock Synchronization Method in a Distributed Automotive System. 2007.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.