Publication View

ftp.is.s.u-tokyo.ac.jp (directory /pub/tech-reports). SUPPLEMENTARY NOTES WRITTEN LANGUAGE (2004)

Abstract

string matching, FPGA, SBT, correctness proof

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.322
Source	http://www.is.s.u-tokyo.ac.jp/tech-reports/TR04-02-a4.pdf
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type	text
Language	English
Relation	10.1.1.5.4863, 10.1.1.11.4842, 10.1.1.14.9115, 10.1.1.18.9074, 10.1.1.98.8564