@inproceedings{HRT01, author = {Hering, K. and R\"{u}nger, G. and Trautmann, S.}, title = {{Modular Construction of Model Partitioning Processes for Parallel Logic Simulation}}, booktitle = {Proc. of the ICPP'01 Workshop for High Performance Scientific and Engineering Computing (HPSECA'01)}, pages = {99--105}, year = {2001}, publisher = {IEEE}, }