| DaftarIsitemplate |
| Call Number |
| 004 Int c |
| Title |
| Rulebase: model checking at IBM, (LNCS-Lecture Notes in Computer Science 1254) Hal 480-483 |
| Author |
| I. Beer, S. Ben-David, C. Eisner; D. Geist; L. Gluhovsky; T. Heyman; A. Landver; P. Paanah; Y. Rodeh; G. Ronin; Y. Wolfsthal; |
| Publisher |
| Springer, 1997 |
| Subject |
| Location |