Search results
Jump to navigation
Jump to search
- ...80.3213888 |journal=Proceedings of the VLDB Endowment |volume=11 |issue=9 |pages=975–987 |doi=10.14778/3213880.3213888 |s2cid=49300741 |issn=2150-8097}}</re ...|language=en |location=Cham |publisher=Springer International Publishing |pages=3–16 |doi=10.1007/978-3-319-73117-9_1 |isbn=978-3-319-73117-9|s2cid=3193327 ...25 KB (3,744 words) - 13:54, 19 January 2025
- | title = Specifying Concurrent Systems with TLA<sup>+</sup> | pages = 183–247 ...40 KB (5,355 words) - 06:27, 17 January 2025