| Your search for 38913 returns 3015 document(s) |
| SMC: A Symmetry-Based Model Checker for Verification of Safety and Liveness Properties, page 133-166 |
|
Author: A. Prasad Sistla, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed algorithms and protocols |
|
Author: Raynal, Michael; | Call Number: 004.36 Ray d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed algorithms and protocols |
|
Author: Raynal, Michel; | Call Number: 004.36 Ray d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed algorithms/Nancy A. Lynch |
|
Author: Lych, Nancy A.; | Call Number: 005.276 Lyn d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to Distributed Algorithms |
|
Author: Tel, Gerard; | Call Number: 005.276 Tel i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed operating systems and algorithms |
|
Author: Chow, Randy; | Call Number: 005.447 6 Cho d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Control synthesis for a class of hybrid systems subject to configuration-based safety constrains, Hal. 376-396 |
|
Author: Michael Heymann; Feng Lin; George Meyer; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CAVEAT: technique and tool for computer aided verification and transformation, (LNCS-Lecture Notes in Computer Science 939) Hal 70-83 |
|
Author: E. Pascal Gribomont; Didier Rossetto; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multipliers and deviders: insights on arithmetic circuit verification (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 1-3 |
|
Author: Randal E. Bryant; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Global rebuilding of OBDDs avoiding memory requirement maxima, (LNCS-Lecture Notes in Computer Science 939) Hal 4-15 |
|
Author: Jochen Bern; Christoph Meinel; Anna Slobodova; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result