TY  - RPRT
TI  - A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips
AU  - Sukanta Bhattacharjee
AU  - Ansuman Banerjee
AU  - Krishnendu Chakrabarty
AU  - Bhargab B. Bhattacharya
PY  - 2022
UR  - https://arxiv.org/abs/2211.04719
ID  - 2211.04719
ER  -