Rolf Drechsler, Mathias Soeken, Robert Wille. Formal Specification Level. In Jan Haase, editor, Models, Methods, and Tools for Complex Chip Design - Selected Contributions from FDL 2012. Volume 265 of Lecture Notes in Electrical Engineering, pages 37-52, Springer, 2012. [doi]
@inproceedings{DrechslerSW12a,
title = {Formal Specification Level},
author = {Rolf Drechsler and Mathias Soeken and Robert Wille},
year = {2012},
doi = {10.1007/978-3-319-01418-0_3},
url = {https://doi.org/10.1007/978-3-319-01418-0_3},
researchr = {https://researchr.org/publication/DrechslerSW12a},
cites = {0},
citedby = {0},
pages = {37-52},
booktitle = {Models, Methods, and Tools for Complex Chip Design - Selected Contributions from FDL 2012},
editor = {Jan Haase},
volume = {265},
series = {Lecture Notes in Electrical Engineering},
publisher = {Springer},
isbn = {978-3-319-01417-3},
}