Search Result Save to File Save as CSV
Your search for 38809 returns 2387 document(s)
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 
Model checking in a microprocessor design project, (LNCS-Lecture Notes in Computer Science 1254) Hal 214-225
Author: Geoff Barret; Anthony McIsaac; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On-the-fly model checking under fairness that exploits symmetry, (LNCS-Lecture Notes in Computer Science 1254) Hal 232-243
Author: Viktor Gyuris; A. Prasad Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Model checking and transitive-closure logic, (LNCS-Lecture Notes in Computer Science 1254) Hal 291-302
Author: Neil Immerman; Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Deadlock checking using net unfoldings, (LNCS-Lecture Notes in Computer Science 1254) Hal 352-363
Author: Stephan Melzer; Stefan Romer; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic model checking with rich assertional languages, (LNCS-Lecture Notes in Computer Science 1254) Hal 424-435
Author: Y. Kesten; O. Maler; M. Marcus; A. Pnueli; E. Shahar; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Termilog: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254) Hal 444-447
Author: N. Lindenstrauss; Y. Sagiv; A. Serebrenik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic model checking of infinite state systems using presburger arithmetic, (LNCS-Lecture Notes in Computer Science 1254) Hal 400-411
Author: Tevfik Bultan; Richard Gerber; William Pugh; | 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 
Rulebase: model checking at IBM, (LNCS-Lecture Notes in Computer Science 1254) Hal 480-483
Author: I. Beer, S. Ben-David, C. Eisner; D. Geist; L. Gluhovsky; T. Heyman; A. Landver; P. Paanah; Y. Rodeh; G. Ronin; Y. Wolfsthal; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next