Your search for 38814 returns 2667 document(s) |
A new heuristic for bad cycle detection using BDDs, LNCS-Lecture Notes in Computer Science 1254) Hal 268-278 |
Author: R. H. Shadin; R. P. Kurshan; S. K. Shukla; M. Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Practical challenges for industrial formal verification tools, (LNCS-Lecture Notes in Computer Science 1254) Hal 1-2 |
Author: F. Erich Marschner; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The industrial success of verification tools based on stalmarck's method, (LNCS-Lecture Notes in Computer Science 1254) Hal 7-10 |
Author: Arne Boralv; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal verification - applications & case studies, (LNCS-Lecture Notes in Computer Science 1254) Hal 11 |
Author: Martin Rowe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A compositional rule for hardware design refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 24-35 |
Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using compositional preorders in the verification of sliding window protocol, (LNCS-Lecture Notes in Computer Science 1254) Hal 48-59 |
Author: Roope Kaivola; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Construction of abstract state graphs with PVS, (LNCS-Lecture Notes in Computer Science 1254) Hal 72-83 |
Author: Susanne Graf; Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verification of a chemical process leak test procedure, (LNCS-Lecture Notes in Computer Science 1254) Hal 84-94 |
Author: Adam L. Turk; Scott T. Probst; Gary J. Powers; | 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
|
An n log n algorithm for online BDD refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 107-118 |
Author: Nils Klarlund; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Weak bisimulation for fully probabilistic processes, (LNCS-Lecture Notes in Computer Science 1254) Hal 119-130 |
Author: Christel Baier; Holger Hermanns; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|