> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht Titel: Parallelism for free: bitvector analyses rightarrow no state explosion! Beteiligte: Knoop, Jens [Verfasser:in]; Steffen, Bernhard [Verfasser:in]; Vollmer, Jürgen [Verfasser:in] Erschienen: University of Aarhus, 1995-01-01 Sprache: Englisch DOI: https://doi.org/10.5445/IR/369496 ISSN: 0909-3206 Schlagwörter: DATA processing & computer science Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang