DMCA

Formal Verification for Time-Triggered Clock Synchronization (1999)

by Holger Pfeifer , Detlef Schwier , Friedrich W. Von Henke
Citations:20 - 1 self