-
Selection by year
-
Selection by authors
-
Complete lists
bertrand:hal-03777444
N. Bertrand, N. Markey, O. Sankur, N. Waldburger. Parameterized safety verification of round-based shared-memory systems. In ICALP 2022, Paris, France, July 2022.
Keywords
[ Model checking ] [ Distributed algorithms ] [ Parameterized models ]
Contact
Nathalie Bertrand http://www.irisa.fr/prive/nbertran/
Nicolas Markey http://people.rennes.inria.fr/Nicolas.Markey/
Ocan Sankur http://people.irisa.fr/Ocan.Sankur/
BibTex Reference
@InProceedings{bertrand:hal-03777444,
Author = {Bertrand, N. and Markey, N. and Sankur, O. and Waldburger, N.},
Title = {{Parameterized safety verification of round-based shared-memory systems}},
BookTitle = {{ICALP 2022}},
Address = {Paris, France},
Month = {July},
Year = {2022}
}
EndNote Reference [help]
Get EndNote Reference (.ref)