Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Homayoon
Last name:	Akhiani
DBLP:	34/5295
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 1 of 1  

Select a publication
Show	Title	Venue	Rating	Date
	Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu. Cache Coherence Verification with TLA+.	FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II 1999	(0)	1999

Your query returned 1 matches in the database.