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