共 34 条
[3]
[Anonymous], 1979, Computers and intractability
[4]
Bhattacharjee S, 2018, DES AUT TEST EUROPE, P1399, DOI 10.23919/DATE.2018.8342231
[6]
Multiple Dilution Sample Preparation Using Digital Microfluidic Biochips
[J].
2012 INTERNATIONAL SYMPOSIUM ON ELECTRONIC SYSTEM DESIGN (ISED 2012),
2012,
:188-192
[7]
Chiang MH, 2013, SUNGKYUN J EAST ASIA, V13, P1
[9]
Z3: An efficient SMT solver
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS,
2008, 4963
:337-340
[10]
Microfluidic platforms for lab-on-a-chip applications
[J].
LAB ON A CHIP,
2007, 7 (09)
:1094-1110