Login / Signup

Layered reasoning for randomized distributed algorithms.

Mani SwaminathanJoost-Pieter KatoenErnst-Rüdiger Olderog
Published in: Formal Aspects Comput. (2012)
Keyphrases