Zhou, Yangruirui, Oliveira, Samuel_M_D, Sanka, Radhakrishna, McIntyre, David, and Densmore, Douglas. Vespa: Logic-Level Constraint-Based Validation for Continuous-Flow Microfluidic Devices. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 44.2 Web. doi:10.1109/TCAD.2024.3435706.

Zhou, Yangruirui, Oliveira, Samuel_M_D, Sanka, Radhakrishna, McIntyre, David, & Densmore, Douglas. Vespa: Logic-Level Constraint-Based Validation for Continuous-Flow Microfluidic Devices. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 44 (2). https://doi.org/10.1109/TCAD.2024.3435706

Zhou, Yangruirui, Oliveira, Samuel_M_D, Sanka, Radhakrishna, McIntyre, David, and Densmore, Douglas. "Vespa: Logic-Level Constraint-Based Validation for Continuous-Flow Microfluidic Devices". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 44 (2). Country unknown/Code not available: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TCAD.2024.3435706. https://par.nsf.gov/biblio/10567382.

@article{osti_10567382,
place = {Country unknown/Code not available}, title = {Vespa: Logic-Level Constraint-Based Validation for Continuous-Flow Microfluidic Devices}, url = {https://par.nsf.gov/biblio/10567382}, DOI = {10.1109/TCAD.2024.3435706}, abstractNote = {Not Available}, journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, volume = {44}, number = {2}, publisher = {Institute of Electrical and Electronics Engineers}, author = {Zhou, Yangruirui and Oliveira, Samuel_M_D and Sanka, Radhakrishna and McIntyre, David and Densmore, Douglas}, }