Barukh Ziv

	2000
1		Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402

Coauthor Index

1	Limor Fix	[1]
2	Ranan Fraer	[1]
3	Gila Kamhi	[1]
4	Moshe Y. Vardi	[1]