Login / Signup
A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips.
Sukanta Bhattacharjee
Ansuman Banerjee
Krishnendu Chakrabarty
Bhargab B. Bhattacharya
Published in:
CoRR (2022)
Keyphrases
</>
lightweight
case study
main contribution
databases
genetic algorithm
information systems
digital libraries
electronic commerce
random variables
fully automated