Parametrised Interface Automata

Antti Siirtola

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

2 Citations (Scopus)

Original language	English
Title of host publication	Application of Concurrency to System Design (ACSD), Tunis, Tunisia, June 25-27, 2014
Editors	Andrey Mokhov, Luca Bernardinello, Kamel Barkaoui
Publisher	IEEE
Pages	176-185
ISBN (Print)	978-1-4799-4281-7
Publication status	Published - 2014
MoE publication type	A4 Conference publication

Cite this

@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 -