Search Result
Save to File
Your search for
24862
returns
4039
document(s)
Basic computer games/edited by H. Ahl
Call Number: 794 Bas | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32
Author: Jurgen Ruf; Thomas Kropf; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Computer Science 1254) Hal 340-351
Author: R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Efficient modeling of memoryarrays in symbolic simulation, (LNCS-Lecture Notes in Computer Science 1254) Hal 388-399
Author: Miroslav Velev; Randal E. Bryant; Alok Jain; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic model checking with rich assertional languages, (LNCS-Lecture Notes in Computer Science 1254) Hal 424-435
Author: Y. Kesten; O. Maler; M. Marcus; A. Pnueli; E. Shahar; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic model checking of infinite state systems using presburger arithmetic, (LNCS-Lecture Notes in Computer Science 1254) Hal 400-411
Author: Tevfik Bultan; Richard Gerber; William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Some progress in the symbolic verification of timed automata, (LNCS-Lecture Notes in Computer Science 1254) Hal 179-190
Author: Marius Bozga; Oded Maler; Amir Pnueli; Sergio Yovine; | 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
Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lecture Notes in Computer Science 1254)Hal. 400-411
Author: Tevfik Bultan; Richard Gerber and William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Efficient modeling of memory arrays in symbolic simulation, (LNCS-Lecture Notes in Computer Science 1254)Hal. 368-399
Author: Miroslav Velev; Randal E. Bryant; Alok Jain; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
17
18
19
20
21
22
23
24
25
26
Next