RuleBase: Model Checking at IBM

14 years 3 months ago

Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel

CAV 1997 | Hardware |

claim paper

Added	07 Aug 2010
Updated	07 Aug 2010
Type	Conference
Year	1997
Where	CAV
Authors	Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal

Comments (0)