Homayoon Akhiani

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu
Cache Coherence Verification with TLA+. World Congress on Formal Methods (1999)