Mechanical Verification of Clock Synchronization Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Detlef Schwier, Friedrich W. von Henke. Mechanical Verification of Clock Synchronization Algorithms. In Anders P. Ravn, Hans Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Volume 1486 of Lecture Notes in Computer Science, pages 262-271, Springer, 1998. [doi]

This author has not been identified. Look up 'Detlef Schwier' in GoogleThis author has not been identified. Look up 'Friedrich W. von Henke' in Google

runs on WebDSL