Parallele Logiksimulation : effiziente Methoden für Multicomputer / Philipp Lanchès