Network Invariants in Action

Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck. Network Invariants in Action. In Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera, editors, CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings. Volume 2421 of Lecture Notes in Computer Science, pages 101-115, Springer, 2002. [doi]

Authors

Yonit Kesten

This author has not been identified. Look up 'Yonit Kesten' in Google

Amir Pnueli

Identified as Amir Pnueli

Elad Shahar

This author has not been identified. Look up 'Elad Shahar' in Google

Lenore D. Zuck

This author has not been identified. Look up 'Lenore D. Zuck' in Google