Verification of Shared-Reading Synchronisers

Afshin Amighi, Marieke Huisman, Stefan Blom

Research output: Chapter in Book/Report/Conference proceedingConference contribution

LanguageEnglish
Title of host publication1st International Workshop on Methods and Tools for Rigorous System Design (Metrid)
EditorsSaddek Bensalem, Simon Bliudze
StatePublished - 2018
Event1st International Workshop on Methods and Tools for Rigorous System Design 2018 - Thessaloniki, Greece
Duration: 15 Apr 201815 Apr 2018
Conference number: 1
https://project.inria.fr/metrid2018/programme/

Workshop

Workshop1st International Workshop on Methods and Tools for Rigorous System Design 2018
Abbreviated titleMeTRiD 2018
CountryGreece
CityThessaloniki
Period15/04/1815/04/18
Internet address

Cite this

Amighi, A., Huisman, M., & Blom, S. (2018). Verification of Shared-Reading Synchronisers. In S. Bensalem, & S. Bliudze (Eds.), 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid)
Amighi, Afshin ; Huisman, Marieke ; Blom, Stefan. / Verification of Shared-Reading Synchronisers. 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid). editor / Saddek Bensalem ; Simon Bliudze. 2018.
@inproceedings{09855b0bf27041c2a00a5c49ed153d6e,
title = "Verification of Shared-Reading Synchronisers",
author = "Afshin Amighi and Marieke Huisman and Stefan Blom",
year = "2018",
language = "English",
editor = "Saddek Bensalem and Simon Bliudze",
booktitle = "1st International Workshop on Methods and Tools for Rigorous System Design (Metrid)",

}

Amighi, A, Huisman, M & Blom, S 2018, Verification of Shared-Reading Synchronisers. in S Bensalem & S Bliudze (eds), 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid). 1st International Workshop on Methods and Tools for Rigorous System Design 2018, Thessaloniki, Greece, 15/04/18.

Verification of Shared-Reading Synchronisers. / Amighi, Afshin; Huisman, Marieke; Blom, Stefan.

1st International Workshop on Methods and Tools for Rigorous System Design (Metrid). ed. / Saddek Bensalem; Simon Bliudze. 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Verification of Shared-Reading Synchronisers

AU - Amighi,Afshin

AU - Huisman,Marieke

AU - Blom,Stefan

PY - 2018

Y1 - 2018

M3 - Conference contribution

BT - 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid)

ER -

Amighi A, Huisman M, Blom S. Verification of Shared-Reading Synchronisers. In Bensalem S, Bliudze S, editors, 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid). 2018.