@inproceedings{HLM01, author = {Hering, K. and L\"{o}ser, J. and Markwardt, J.}, title = {{dlbSIM - A Parallel Functional Logic Simulator Allowing Dynamic Load Balancing}}, booktitle = {Proc. of Design, Automation and Test in Europe (DATE'01)}, pages = {472--478}, year = {2001}, }