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