Search Result
Save to File
Your search for
38754
returns
4074
document(s)
On refinement and temporal annotations (LNCS-Lecture Notes in Computer Science 1926) Hal 185-201
Author: Ron van der Meyden; Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Probabilistic neighbourhood logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 264-275
Author: Dimitar P. Guelev; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
HPF and numerical libraries, (LNCS-Lecture Notes in Computer Science 1557) Hal 140-152
Author: Harald J. Ehold; Wilfried N. Gansterer; Dieter F. Kvasnicka; Christoph W. Ueberhuber; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
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
Prev
16
17
18
19
20
21
22
23
24
25
Next