@mastersthesis{Rei97,
 author = {Reilein-Ru\ss, R.},
 title = {{Model Partitioning for Parallel Logic Simulation}},
 school = {Universit\"{a}t Leipzig, Institut f\"{u}r Informatik},
 year = {1997},
}