Formal development of a reconfigurable tool for parallel DNA matching | IEEE Conference Publication | IEEE Xplore