Login / Signup

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

Sukanta BhattacharjeeAnsuman BanerjeeKrishnendu ChakrabartyBhargab 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