Synchronised Shared Memory and Model Checking
Aguado, Joaquín; Duenas, Alejandra (2024): Synchronised Shared Memory and Model Checking, in: ACM transactions on embedded computing systems : TECS, New York, NY: ACM Press, Jg. 23, Nr. 5, 70, S. 1–30, doi: 10.1145/3626188.
Faculty/Chair:
Author:
 ; 
Title of the Journal:
ACM transactions on embedded computing systems : TECS
ISSN:
1558-3465
1539-9087
Publisher Information:
Year of publication:
2024
Volume:
23
Issue:
5, 70
Pages:
Language:
English
DOI:
URL:
Type:
Article
URI:
Activation date:
May 13, 2025

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/107767