Homayoon Akhiani

	1999
1		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: 1871-1872

Coauthor Index

1	Damien Doligez	[1]
2	Paul Harter	[1]
3	Leslie Lamport	[1]
4	Joshua Scheid	[1]
5	Mark R. Tuttle	[1]
6	Yuan Yu	[1]

Last update Fri Feb 10 22:28:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page