Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
M. Blondin, J. Esparza, M. Helfrich, A. Kucera, and P. Meyer. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, volume 12225 of Lecture Notes in Computer Science, page 372-397. Springer, (October 2020)
DOI: 10.1007/978-3-030-53291-8_20
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 BlondinEH0M20
%A Blondin, Michael
%A Esparza, Javier
%A Helfrich, Martin
%A Kucera, Antonín
%A Meyer, Philipp J.
%B Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
%D 2020
%E Lahiri, Shuvendu K.
%E Wang, Chao
%I Springer
%K conference
%P 372-397
%R 10.1007/978-3-030-53291-8_20
%T Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
%U https://link.springer.com/chapter/10.1007/978-3-030-53291-8_20
%V 12225
%@ 978-3-030-53291-8
@inproceedings{BlondinEH0M20,
added-at = {2022-11-16T16:00:49.000+0100},
author = {Blondin, Michael and Esparza, Javier and Helfrich, Martin and Kucera, Antonín and Meyer, Philipp J.},
biburl = {https://www.bibsonomy.org/bibtex/2990a908d6f5f94df4fb2f95e39806fe5/paves},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
dblp_id = {conf/cav/BlondinEH0M20},
doi = {10.1007/978-3-030-53291-8_20},
editor = {Lahiri, Shuvendu K. and Wang, Chao},
ee = {https://doi.org/10.1007/978-3-030-53291-8_20},
interhash = {306ccad2c5a9d4368e4e684e1d91815a},
intrahash = {990a908d6f5f94df4fb2f95e39806fe5},
isbn = {978-3-030-53291-8},
keywords = {conference},
month = {October},
pages = {372-397},
preprint = {https://arxiv.org/abs/2005.03555},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-09-24T19:39:16.000+0200},
title = {Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling},
url = {https://link.springer.com/chapter/10.1007/978-3-030-53291-8_20},
volume = 12225,
year = 2020
}