Frank P. Burns, Danil Sokolov, Alexandre Yakovlev
GALS synthesis and verification for xMAS models
DATE, 2015.
@inproceedings{DATE-2015-BurnsSY,
acmid = "2757141",
author = "Frank P. Burns and Danil Sokolov and Alexandre Yakovlev",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "1419--1424",
publisher = "{ACM}",
title = "{GALS synthesis and verification for xMAS models}",
year = 2015,
}