Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Daniel Gajski, A. Nakamura, Dai Araki, Y. Nishihara
Specify-explore-refine (SER): from specification to implementation
DAC, 2008.
@inproceedings{DAC-2008-GerstlauerPSGNAN,
author = "Andreas Gerstlauer and Junyu Peng and Dongwan Shin and Daniel Gajski and A. Nakamura and Dai Araki and Y. Nishihara",
booktitle = "{Proceedings of the 45th Design Automation Conference}",
doi = "10.1145/1391469.1391617",
isbn = "978-1-60558-115-6",
pages = "586--591",
publisher = "{ACM}",
title = "{Specify-explore-refine (SER): from specification to implementation}",
year = 2008,
}