Kanna Shimizu, Ph.D. - Publications
Affiliations: | 2002 | Stanford University, Palo Alto, CA |
Year | Citation | Score | |||
---|---|---|---|---|---|
2001 | Shimizu K, Dill DL, Chou CT. A specification methodology by a collection of compact properties as applied to the Intel® Itanium™ processor bus protocol Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2144: 340-354. DOI: 10.1007/3-540-44798-9_27 | 0.397 | |||
Show low-probability matches. |