ParCoSS: Efficient Parallelized Compiled Symbolic Simulation

@inproceedings{pub8321,
    author = {

Herdt, Vladimir
 and 

Le, Hoang M.
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {ParCoSS: Efficient Parallelized Compiled Symbolic Simulation},
    booktitle = {International Conference on Computer Aided Verification (CAV). International Conference on Computer Aided Verification (CAV-28), July 17-23, Toronto, Canada},
    year = {2016}
}