Jacob Katz

	2007
3		Jacob Katz, Ziyad Hanna, Nachum Dershowitz: Space-Efficient Bounded Model Checking CoRR abs/0710.4629: (2007)
	2005
2		Jacob Katz, Ziyad Hanna, Nachum Dershowitz: Space-Efficient Bounded Model Checking. DATE 2005: 686-687
1		Nachum Dershowitz, Ziyad Hanna, Jacob Katz: Bounded Model Checking with QBF. SAT 2005: 408-414

Coauthor Index

1	Nachum Dershowitz	[1] [2] [3]
2	Ziyad Hanna	[1] [2] [3]