Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
From MaRDI portal
Publication:2915180
DOI10.1007/978-3-642-33475-7_24zbMath1362.68018OpenAlexW1487356717MaRDI QIDQ2915180
Publication date: 21 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33475-7_24
Related Items
Modeling and analyzing mobile ad hoc networks in Real-Time Maude, Formal Analysis of Leader Election in MANETs Using Real-Time Maude