Search Result
| Your search for 37156 returns 71 document(s) |
| 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 |
| Prev 3 4 5 6 7 8 Next |