Your search for 38921 returns 3743 document(s) |
Automatic abstraction techniques for propositional u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 12-23 |
Author: Abelardo Pardo; Gary D. Hachtel; | 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
|
TermiLong: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254)Hal. 444-447 |
Author: N. Lindenstrauss, Y. Sagiv; A. Serebernik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203 |
Author: Hans Tompits; Stefan Woltran; | Call Number: 005.133 Gab l | 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
|
Using sat in qbf, (LNCS-Lecture Notes in Computer Science 3709) Hal 578-592 |
Author: Horst Samulowitz; Fahiem Bacchus; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Weak refinement for modal hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 316-330 |
Author: Carsten Weise; Dirk Lenzkes; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Applications of modal logic for the specification of real-time systems, (LNCS-Lecture Notes in Computer Science 670) Hal 235-249 |
Author: Liang Chen; Alistair Munro; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Computationally-efficient construction for the matrix-based key distribution in sensor networks, (LNCS-Lecture Notes in Computer Science 5576) Hal. 190-199 |
Author: Abeldelaziz Mohaisen; Nam-Su Jho; Dowon Hong; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|