TY  - BOOK
AU  - Rolf Drechsler, Daniel Große.
TI  - Recent Findings in Boolean Techniques : Selected Papers from the 14th International Workshop on Boolean Problems
SN  - 9783030680718
PY  - 2021///
CY  - Cham
PB  - Springer
KW  - Embedded computer systems. Electronic circuit design. Cooperating objects (Computer systems). Embedded Systems. Electronics Design and Verification. Cyber-Physical Systems
UR  - https://doi.org/10.1007/978-3-030-68071-8
ER  -