author = {Wolfgang Schreiner},
title = {{DAJ -- A Toolkit for the Simulation of Distributed Algorithms in Java}},
number = {97-36},
year = {1997},
month = {November},
keywords = {parallel computation, electronic publishing, multimedia software, program verification},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}