Akshay, S., Chakraborty, S., Goel, S., Kulal, S., & Shah, S. (2021). Boolean functional synthesis: Hardness and practical algorithms. Formal methods in system design, 57(1), 53-86. https://doi.org/10.1007/s10703-020-00352-2
Chicago-Zitierstil (17. Ausg.)Akshay, S., Supratik Chakraborty, Shubham Goel, Sumith Kulal, und Shetal Shah. "Boolean Functional Synthesis: Hardness and Practical Algorithms." Formal Methods in System Design 57, no. 1 (2021): 53-86. https://doi.org/10.1007/s10703-020-00352-2.
MLA-Zitierstil (9. Ausg.)Akshay, S., et al. "Boolean Functional Synthesis: Hardness and Practical Algorithms." Formal Methods in System Design, vol. 57, no. 1, 2021, pp. 53-86, https://doi.org/10.1007/s10703-020-00352-2.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.