Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness

From MaRDI portal
Publication:3613069

DOI10.1007/11888116_17zbMath1225.68108OpenAlexW1508008065MaRDI QIDQ3613069

Nathalie Bertrand, Christel Baier, Philippe Schnoebelen

Publication date: 11 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116_17




Related Items (1)



Cites Work




This page was built for publication: Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness