K. Kanani

According to our database, K. Kanani authored at least 1 paper in 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Automatic Generation of Verifiable Cache Coherence Simulation Models from High-Level Specifications.

A. J. Field, Peter G. Harrison, K. Kanani

Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998