×
1997
RuleBase: Model Checking at IBM.
[DOI]
Ilan Beer
,
Shoham Ben-David
,
Cindy Eisner
,
Daniel Geist
,
Leonid Gluhovsky
,
Tamir Heyman
,
Avner Landver
,
P. Paanah
,
Yoav Rodeh
,
G. Ronin
,
Yaron Wolfsthal
Proceedings of the Computer Aided Verification, 9th International Conference, 1997