Synchronised Shared Memory and Model Checking : A Proof of Concept
Aguado, Joaquin; Duenas, Alejandra (2021): Synchronised Shared Memory and Model Checking : A Proof of Concept, in: 2021 Forum on specification & Design Languages (FDL), IEEE, S. 01–08, doi: 10.1109/fdl53530.2021.9568373.
Faculty/Chair:
Author:
 ; 
Title of the compilation:
2021 Forum on specification & Design Languages (FDL)
Conference:
2021 Forum on specification & Design Languages (FDL), 08-10 September 2021 ; Antibes
Publisher Information:
Year of publication:
2021
Pages:
ISBN:
978-1-6654-1825-6
978-1-6654-1826-3
Language:
English
DOI:
URL:
Type:
Conferenceobject
URI:
Activation date:
November 11, 2025

Question on publication

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