%0 Generic
%T Development of a parallelized BDD library in Rust
%A Netzer, Timo
%A Heß, Tobias
%A Thüm, Thomas
%I Universität Ulm
%@ 1779617070
%K BDD
%K DDC 004 / Data processing & computer science
%K Parallelismus
%K Parallelized Architecture
%K Boolean matrices
%D 2021-11-18T14:53:46Z
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Universität Ulm
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation