@inproceedings{TEMP:conf/nmr/GressmannJMSTT06, author = {Gressmann, J. and Janhunen, T. and Mercer, R. and Schaub, T. and Thiele, S. and Tichy, R.}, title = {On Probing and Multi-Threading in Platypus}, pages = {30--38}, booktitle = {{NMR}}, year = {2006}, number = {IFI-06-04}, series = {Technical Report Series}, publisher = {Institute for Informatics} }