Daniel Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong
System-level exploration with SpecSyn
DAC, 1998.
@inproceedings{DAC-1998-GajskiVNG,
author = "Daniel Gajski and Frank Vahid and Sanjiv Narayan and Jie Gong",
booktitle = "{Proceedings of the 35th Design Automation Conference}",
doi = "10.1145/277044.277252",
isbn = "0-89791-964-5",
pages = "812--817",
publisher = "{ACM Press}",
title = "{System-level exploration with SpecSyn}",
year = 1998,
}