Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip.

Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya

Browse the full VLSID paper archive.