Parallele Logiksimulation : effiziente Methoden für Multicomputer / Philipp Lanchès. Düsseldorf : VDI-Verl., 1995