On Distributed Stochastic Logics for Mobile Systems.

Juliana Kster Filipe Bowles, Petrucio Viana

Browse the full WoLLIC paper archive.