Nili Ifergan

	2005
1		Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster: Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. CHARME 2005: 129-145

Coauthor Index

1	Orna Grumberg	[1]
2	Tamir Heyman	[1]
3	Assaf Schuster	[1]