Cited By
View all- Zhang YPu GSun JGrundy JLe Goues CLo D(2020)Accelerating all-SAT computation with short blocking clausesProceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering10.1145/3324884.3416569(6-17)Online publication date: 21-Dec-2020
- Kumar RVenkanna UTiwari V(2019)Optimized Link Utilization Based Approach for Traffic Engineering in SDWSN2019 IEEE International Conference on Advanced Networks and Telecommunications Systems (ANTS)10.1109/ANTS47819.2019.9118068(1-6)Online publication date: 16-Dec-2019
- Sobrinho Ada Silva LPerkusich ACunha PCordeiro TLima A(2019)Formal modeling of biomedical signal acquisition systems: source of evidence for certificationSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0616-718:2(1467-1485)Online publication date: 1-Apr-2019
- Show More Cited By