ParCoSS: Efficient Parallelized Compiled Symbolic Simulation (bibtex)

by Vladimir Herdt, Hoang M. Le, Daniel Große and Rolf Drechsler

Reference:

Vladimir Herdt, Hoang M. Le, Daniel Große and Rolf Drechsler, "ParCoSS: Efficient Parallelized Compiled Symbolic Simulation", In Computer Aided Verification, 2016.

Bibtex Entry:

@InProceedings{HLGD:2016,
  author    = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  pi        = {Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {{ParCoSS:} Efficient Parallelized Compiled Symbolic Simulation},
  booktitle = {Computer Aided Verification},
  pdffile = {../pipubs/subprojects/P04/Grosse_ParCoSS_2016.pdf},
  year      = {2016},
  keywords = {easecrc_knowledge;easecrc_cognitive_arch_systems} 
}