☰

Kanna Shimizu, Ph.D. - Publications

Affiliations: 
2002 Stanford University, Palo Alto, CA 
Tree Info Similar researchers PubMed Report error

1 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

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.