Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.

Guillermo Rodrguez-Navas, Julin Proenza, Hans Hansson

Browse the full ICFEM paper archive.