|
[ELCP21]
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty and Miroslav Pajic.
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips.
In Proc. Design, Automation & Test in Europe Conference & Exhibition (DATE'21).
2021.
[Presents a formal synthesis method for droplet routing in digital microfluidic biochips using PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|