Papers: 10.1007/978-3-030-53291-8_20

https://doi.org/10.1007/978-3-030-53291-8_20

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

Cited by: 10
Author(s): Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera, Philipp J. Meyer
Published: almost 7 years ago

Software Mentions 1