Title:
Sonlu durum sistemleri için sembolik bir model doğrulayıcısının gerçekleştirimi = Implementation of a symbolic model checker for finite state systems
Author:
Seçkin, Tarık.
Publication Information:
Ankara : Hacettepe Üniversitesi, 1993.
Physical Description:
xi, 147 y. tbl. , şkl.
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | Thesis | 7.2/12/356210 | TEZ 2310 .S43 1993 | Searching... | Searching... |