Parallele Mehrebenen-Logiksimulation mit Time-Warp-Synchronisation. - Harden Ortner; Andreas Kötz; Eustathios Aposporidis (ASIM, 1991)