كتاب إلكتروني
RuleBase: Model checking at IBM
العنوان: | RuleBase: Model checking at IBM |
---|---|
المؤلفون: | Beer, I.Aff1, Ben-David, S.Aff1, Eisner, C.Aff1, Geist, D.Aff1, Gluhovsky, L.Aff1, Heyman, T.Aff1, Landver, A.Aff1, Paanah, P.Aff1, Rodeh, Y.Aff1, Ronin, G.Aff1, Wolfsthal, Y.Aff1 |
المساهمون: | Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Grumberg, Orna, editor |
المصدر: | Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings. 1254:480-483 |
قاعدة البيانات: | Springer Nature eBooks |
كن أول من يترك تعليقا!