Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya. Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip. In 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014. pages 504-509, IEEE, 2014. [doi]
Abstract is missing.