Login / Signup
Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip.
Sukanta Bhattacharjee
Ansuman Banerjee
Krishnendu Chakrabarty
Bhargab B. Bhattacharya
Published in:
VLSI Design (2014)
Keyphrases
</>
lightweight
cryptographic protocols
correctness criterion
coloured petri nets
formal analysis
low cost
np complete
digital curves
communication protocol
dna computing
molecular level
file transfer