Verification of Fault-Tolerant Clock Synchronization Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sergiy Bogomolov, Christian Herrera, Wilfried Steiner. Verification of Fault-Tolerant Clock Synchronization Algorithms. In Goran Frehse, Matthias Althoff, editors, ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria. Volume 43 of EPiC Series in Computing, pages 36-41, EasyChair, 2016. [doi]

This author has not been identified. Look up 'Sergiy Bogomolov' in GoogleThis author has not been identified. Look up 'Christian Herrera' in GoogleThis author has not been identified. Look up 'Wilfried Steiner' in Google

runs on WebDSL