KIT | KIT-Bibliothek | Impressum | Datenschutz

Parallelism for free: bitvector analyses rightarrow no state explosion!

Knoop, Jens; Steffen, Bernhard; Vollmer, Jürgen



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.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page