CITATION STYLE
Schickel, M., Nimbler, V., Braun, M., & Eveking, H. (2007). An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets. In Advances in Design and Specification Languages for Embedded Systems (pp. 179–196). Springer Netherlands. https://doi.org/10.1007/978-1-4020-6149-3_11
Mendeley helps you to discover research relevant for your work.