| Your search for 38327 returns 2354 document(s) |
| Parallelizing the mur verifier, (LNCS-Lecture Notes in Computer Science 1254) Hal 256-267 |
|
Author: Ulrich Stern; David L. Dill; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| UPPAAL: status & developments, (LNCS-Lecture Notes in Computer Science 1254) Hal 456-459 |
|
Author: Kim G Larsen; Paul Pettersson; Wang Yi; | 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
|
| Module checking revisited, (LNCS-Lecture Notes in Computer Science 1254) Hal 36-47 |
|
Author: Orna Kupferman; Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Encoding w: a logic z in 2obj, (LNCS-Lecture Notes in Computer Science 670) Hal 462-481 |
|
Author: Andrew Martin; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An overview of the SPRINT method, (LNCS-Lecture Notes in Computer Science 670) Hal 403-427 |
|
Author: H.B.M. Jonkers; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time refinement, (LNCS-Lecture Notes in Computer Science 670) Hal 314-331 |
|
Author: Colin Fidge; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hypergraph transversals, (LNCS-Lecture Notes in Computer Science 999)Hal. 13 |
|
Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Z eves system, (LNCS-Lecture Notes in Computer Science 1212) Hal. 72-65 |
|
Author: Mark Saaltink; | Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Small proof witnesses for LF, (LNCS-Lecture Notes in Computer Science) Hal 387-401 |
|
Author: Susmit Sarkar; Brigitte Pientka; Karl Crary; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result