Parametrised Interface Automata

Antti Siirtola

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

2 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Application of Concurrency to System Design (ACSD), Tunis, Tunisia, June 25-27, 2014
Toimittajat	Andrey Mokhov, Luca Bernardinello, Kamel Barkaoui
Kustantaja	IEEE
Sivut	176-185
ISBN (painettu)	978-1-4799-4281-7
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Muut tiedostot ja linkit

@inproceedings{64679da5bb8940139d7dd4124e56cd41,

title = "Parametrised Interface Automata",

author = "Antti Siirtola",

year = "2014",

language = "English",

isbn = "978-1-4799-4281-7",

publisher = "IEEE",

pages = "176--185",

editor = "Andrey Mokhov and Luca Bernardinello and Kamel Barkaoui",

booktitle = "Application of Concurrency to System Design (ACSD), Tunis, Tunisia, June 25-27, 2014",

address = "United States",

}

TY - GEN

T1 - Parametrised Interface Automata

AU - Siirtola, Antti

PY - 2014

Y1 - 2014

UR - https://www.scopus.com/pages/publications/84941961373

M3 - Conference article in proceedings

SN - 978-1-4799-4281-7

SP - 176

EP - 185

BT - Application of Concurrency to System Design (ACSD), Tunis, Tunisia, June 25-27, 2014

A2 - Mokhov, Andrey

A2 - Bernardinello, Luca

A2 - Barkaoui, Kamel

PB - IEEE

ER -