@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},
}