Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning. Association for Computing Machinery (ACM).
Chicago-Zitierstil (17. Ausg.)Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning. Association for Computing Machinery (ACM).
MLA-Zitierstil (9. Ausg.)Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning. Association for Computing Machinery (ACM).
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.