TEMPORAL LOGICS FOR DISTRIBUTED SYSTEMS-PARADIGMS AND ALGORITHMS

Edmund Editors, Ursula Clarke, Peter Goltz, Wojciech Niebert, Penczek
unpublished
fatcat:rpgyr57ojndifo5gkoceeubbwy