Invisible Safety of Distributed Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ittai Balaban, Amir Pnueli, Lenore D. Zuck. Invisible Safety of Distributed Protocols. In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener, editors, Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Volume 4052 of Lecture Notes in Computer Science, pages 528-539, Springer, 2006. [doi]

This author has not been identified. Look up 'Ittai Balaban' in GoogleIdentified as Amir Pnueli This author has not been identified. Look up 'Lenore D. Zuck' in Google

runs on WebDSL