ParCoSS: Efficient Parallelized Compiled Symbolic Simulation (bibtex)
by Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Reference:
Vladimir Herdt, Hoang M. Le, Daniel Große, 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 }
}
Powered by bibtexbrowser