Parameterized Synthesis Case Study: AMBA AHB

Ayrat Khalimov, Roderick Paul Bloem, Swen Jacobs

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelSYNT 2014
Herausgeber (Verlag).
Seiten68-83
DOIs
PublikationsstatusVeröffentlicht - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Experimental

Dies zitieren

Khalimov, A., Bloem, R. P., & Jacobs, S. (2014). Parameterized Synthesis Case Study: AMBA AHB. in SYNT 2014 (S. 68-83). .. https://doi.org/10.4204/EPTCS.157.9

Parameterized Synthesis Case Study: AMBA AHB. / Khalimov, Ayrat; Bloem, Roderick Paul; Jacobs, Swen.

SYNT 2014. ., 2014. S. 68-83.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Khalimov, Ayrat ; Bloem, Roderick Paul ; Jacobs, Swen. / Parameterized Synthesis Case Study: AMBA AHB. SYNT 2014. ., 2014. S. 68-83
@inproceedings{038d5464ed1743bb85dc0829ab17ba04,
title = "Parameterized Synthesis Case Study: AMBA AHB",
author = "Ayrat Khalimov and Bloem, {Roderick Paul} and Swen Jacobs",
year = "2014",
doi = "10.4204/EPTCS.157.9",
language = "English",
pages = "68--83",
booktitle = "SYNT 2014",
publisher = ".",

}

TY - GEN

T1 - Parameterized Synthesis Case Study: AMBA AHB

AU - Khalimov, Ayrat

AU - Bloem, Roderick Paul

AU - Jacobs, Swen

PY - 2014

Y1 - 2014

UR - http://arxiv.org/abs/1407.6580v1

U2 - 10.4204/EPTCS.157.9

DO - 10.4204/EPTCS.157.9

M3 - Conference contribution

SP - 68

EP - 83

BT - SYNT 2014

PB - .

ER -