Parameterized Synthesis Case Study: AMBA AHB

Ayrat Khalimov, Roderick Paul Bloem, Swen Jacobs

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	SYNT 2014
Publisher	.
Pages	68-83
DOIs	https://doi.org/10.4204/EPTCS.157.9
Publication status	Published - 2014

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Experimental

Access to Document

10.4204/EPTCS.157.9

Other files and links

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

Cite this