Roland Meyer, Thomas Wies, & Sebastian Wolff. (2022). Artifact for ’A Concurrent Program Logic with a Future and History’. Zenodo. https://doi.org/10.5281/zenodo.7080459
ISO-690 (author-date, English)ROLAND MEYER, THOMAS WIES und SEBASTIAN WOLFF, 2022. Artifact for ’A Concurrent Program Logic with a Future and History’. Zenodo.
Modern Language Association 9th editionRoland Meyer, Thomas Wies, und Sebastian Wolff. Artifact for ’A Concurrent Program Logic with a Future and History’. Zenodo, 2022, https://doi.org/10.5281/zenodo.7080459.
Mohr Siebeck - Recht (Deutsch - Österreich)Roland Meyer/Thomas Wies/Sebastian Wolff: Artifact for ’A Concurrent Program Logic with a Future and History’, 2022.
Emerald - HarvardRoland Meyer, Thomas Wies und Sebastian Wolff. (2022), Artifact for ’A Concurrent Program Logic with a Future and History’, Bd. , Zenodo, verfügbar unter:https://doi.org/10.5281/zenodo.7080459.