Travelled to:1 × Israel
Collaborated with:I.Beer S.Ben-David C.Eisner D.Geist L.Gluhovsky T.Heyman A.Landver P.Paanah Y.Rodeh Y.Wolfsthal
Talks about:model (1) check (1) rule (1) base (1) ibm (1)
Person: G. Ronin
DBLP: Ronin:G=
Contributed to:
1997Wrote 1 papers:
- CAV-1997-BeerBEGGHLPRRW #model checking #named
- RuleBase: Model Checking at IBM (IB, SBD, CE, DG, LG, TH, AL, PP, YR, GR, YW), pp. 480–483.