كتاب إلكتروني
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 |
Full Text Finder | ردمك: | 9783540631668 9783540691952 |
|---|---|
| DOI: | 10.1007/3-540-63166-6_53 |