| Your search for 13425 returns 3506 document(s) |
| Efficient checking of behavioural relations and modal assertions using fixed-point inversion, (LNCS-Lecture Notes in Computer Science 939) Hal 142-154 |
|
Author: Henrik Reif Andersen; Bart Vergauwen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic approach, (LNCS-Lecture Notes in Computer Science 939) Hal 309-324 |
|
Author: E. A. Emerson; A. P. Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A flexible VLSI parallel processing system for block-matching motion estimation in low bit-rate video coding applications, (LNCS-Lecture Notes in Computer Science 1557) Hal 257-264 |
|
Author: Donglai Xu; Reza Sotudeh; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| XMl resources page, page 100 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| In This Issue, page 1-4 |
|
Author: Vicki Smith-Daniels | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bersatu Lewat Intranet, page 68 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perlunya Pentahapan Implementasi, page 25 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Asia Highlights, page 96 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result