Publikation

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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence