Parallelism for free: bitvector analyses rightarrow no state explosion!
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1995 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 195895 |
| Erscheinungsvermerk | In: Tools and algorithms for the construction and analysis of systems. TACAS '95. Ed.: E. Brinksma. Berlin 1995. S. 264-289. (Lecture notes in computer science. 1019.) |