共 50 条
- [22] Digital Rights Management for Paper-Based Microfluidic Biochips 2018 IEEE 27TH ASIAN TEST SYMPOSIUM (ATS), 2018, : 179 - 184
- [23] Path Scheduling on Digital Microfluidic Biochips 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 26 - 35
- [24] Functional testing of digital microfluidic biochips 2007 IEEE INTERNATIONAL TEST CONFERENCE, VOLS 1 AND 2, 2007, : 505 - 514
- [27] A Logic-based Security Framework for Mobile Perimeter 2015 16TH IEEE INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT, VOL 2, 2015, : 30 - 33
- [29] A Logic-Based Framework for Verifying Consensus Algorithms VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 161 - 181