Parallelism for free: bitvector analyses rightarrow no state explosion!
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1995 |
| Sprache | Englisch |
| Identifikator | ISSN: 0909-3206 urn:nbn:de:swb:90-AAA3694965 KITopen-ID: 369496 |
| Erschienen in | Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Aarhus, Denmark 1995. Ed.: U.H. Engberg |
| Verlag | University of Aarhus |
| Seiten | 319-333 |
| Serie | BRICS. Notes series NS ; 95,2 |