Publication
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation
Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler
In: International Conference on Computer Aided Verification (CAV). International Conference on Computer Aided Verification (CAV-28), July 17-23, Toronto, Canada, 2016.