Inproceedings,
Debugging Paxos in the UML Multiverse.
M. Pasquier, C. Teodorov, F. Jouault, M. Brun, and L. Lagadec.MoDELS (Companion), page 811-820. IEEE, (2023)
Meta data
- BibTeX key
- conf/models/PasquierTJ0L23
- entry type
- inproceedings
- booktitle
- MoDELS (Companion)
- year
- 2023
- pages
- 811-820
- publisher
- IEEE
- crossref
- conf/models/2023c
- ee
- https://doi.org/10.1109/MODELS-C59198.2023.00130
- isbn
- 979-8-3503-2498-3
- url
- http://dblp.uni-trier.de/db/conf/models/models2023c.html#PasquierTJ0L23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/models/PasquierTJ0L23
%A Pasquier, Matthias
%A Teodorov, Ciprian
%A Jouault, Frédéric
%A Brun, Matthias
%A Lagadec, Loïc
%B MoDELS (Companion)
%D 2023
%I IEEE
%K dblp
%P 811-820
%T Debugging Paxos in the UML Multiverse.
%U http://dblp.uni-trier.de/db/conf/models/models2023c.html#PasquierTJ0L23
%@ 979-8-3503-2498-3
@inproceedings{conf/models/PasquierTJ0L23,
added-at = {2024-01-05T00:00:00.000+0100},
author = {Pasquier, Matthias and Teodorov, Ciprian and Jouault, Frédéric and Brun, Matthias and Lagadec, Loïc},
biburl = {https://www.bibsonomy.org/bibtex/288faa6abf909b6a44bd02efc16bf521c/dblp},
booktitle = {MoDELS (Companion)},
crossref = {conf/models/2023c},
ee = {https://doi.org/10.1109/MODELS-C59198.2023.00130},
interhash = {374f1c562a7c1711209828a8d14aed21},
intrahash = {88faa6abf909b6a44bd02efc16bf521c},
isbn = {979-8-3503-2498-3},
keywords = {dblp},
pages = {811-820},
publisher = {IEEE},
timestamp = {2024-04-09T21:59:03.000+0200},
title = {Debugging Paxos in the UML Multiverse.},
url = {http://dblp.uni-trier.de/db/conf/models/models2023c.html#PasquierTJ0L23},
year = 2023
}