| Your search for 13882 returns 7006 document(s) |
| Methods for mu-calculus model checking: a tutorial, (LNCS-Lecture Notes in Computer Science 939) Hal 141 |
|
Author: E. A. Emerson; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224 |
|
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366 |
|
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651 |
|
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking in practice the T9000 virtual channel processor, (LNCS-Lecture Notes in Computer Science 670) Hal 129-147 |
|
Author: Geoff Barrett; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deductive multi-valued model checking, (LNCS-Lecture Notes in Computer Science 3668) Hal 297-310 |
|
Author: Ajay Mallya; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena |
|
Author: Eva Magdalena M.; | Call Number: SK-0331 | Edition: I.S.W.B.Prasetya,Ph.D | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Uniform Random Process Model Revisited (388-404) |
|
Author: Wenbo Zhang
Huan Long
Xian Xu; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Business process modeling, simulation and design/Manual Laguna |
|
Author: Laguna, Manuel; | Call Number: 658.403 Lag b [MTI] | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Process design principles: synthesis, analysis and evaluation |
|
Author: Seider, Warren O.; | Call Number: 660.28 Sei p | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result