CITATION STYLE
Fürtig, A., & Hedrich, L. (2017). Formal techniques for verification and coverage analysis of analog systems. In Formal System Verification: State-of the-Art and Future Trends (pp. 1–35). Springer International Publishing. https://doi.org/10.1007/978-3-319-57685-5_1
Mendeley helps you to discover research relevant for your work.