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
by
 
Seçkin, Tarık.

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.


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Beytepe LibraryThesis7.2/12/356210TEZ 2310 .S43 1993Beytepe Tez Koleksiyonu