| Your search for 38847 returns 2553 document(s) |
| MOSEL: a sound and efficient tool for M2L (str), (LNCS-Lecture Notes in Computer Science 1254) Hal 448-451 |
|
Author: Peter Kelb; Tiziana Margaria; Michael Mendler; Claudia Gsottberger; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| prod 3.2 An advanced tool for efficient reachability analysis, (LNCS-Lecture Notes in Computer Science 1254) Hal 472-475 |
|
Author: Kimmo Varpaaniemi; Keijo Heljanko; Johan Lilius; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The PEP tool, LNCS-Lecture Notes in Computer Science 1254) Hal 442-443 |
|
Author: Bernd Grahlmann; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455 |
|
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verisoft: a tool for the automatic analysis of concurrent reactive software, (LNCS-Lecture Notes in Computer Science 1254) Hal 476-479 |
|
Author: Patrice Godefroid; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient detection of vacuity in ACTL formulas, (LNCS-Lecture Notes in Computer Science 1254) Hal 279-290 |
|
Author: Ilan Beer; Shoham Ben-David; Cindy Eisner; Yoav Rodeh; | 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
|
| Ucke - efficient u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 468-471 |
|
Author: Armin Biere; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An efficient decision procedure for the theory of fixed-sized bit-vectors, (LNCS-Lecture Notes in Computer Science 1254) Hal 60-71 |
|
Author: David Cyrluk; Oliver Moller; Harald Rueb; | Call Number: 004 Int c | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic datapath extraction for efficient usage of HDD, (LNCS-Lecture Notes in Computer Science 1254) Hal 95-106 |
|
Author: Gila Kamhi; Osnat Weissberg; Limor Fix; | Call Number: 004 Int c | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result