共 50 条
- [45] Fingerprint Identification using Bozorth and Boyer-Moore Algorithm 2ND INTERNATIONAL CONFERENCE ON INFORMATICS, ENGINEERING, SCIENCE, AND TECHNOLOGY (INCITEST 2019), 2019, 662
- [47] MODELING AND VERIFICATION OF TIMING CONDITIONS WITH THE BOYER-MOORE PROVER IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 111 - 127
- [50] A DESCRIPTION METHODOLOGY FOR PARAMETERIZED MODULES IN THE BOYER-MOORE LOGIC IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 37 - 57