|
[ELCP22]
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty and Miroslav Pajic.
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(8), IEEE.
2022.
[Presents a formal synthesis method for droplet routing in digital microfluidic biochips using PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|