☰

Kanna Shimizu, Ph.D.

Affiliations: 
2002 Stanford University, Palo Alto, CA 
Google:
"Kanna Shimizu"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
David L. Dill grad student 2002 Stanford
 (Writing, verifying, and exploiting formal specifications for hardware designs.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Shimizu K, Dill DL, Chou CT. (2001) 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
See more...