author = { Spruth, Wilhelm G. AND Hering, Klaus AND Haupt, Reiner AND Petri, Udo },

title = { Zwischenbericht zur Arbeit im DFG-Projekt 'Modellpartitionierung, Logiksimulation },

publisher = {Universität Leipzig},

year = {1997},

booktitle = {Report / Institut für Informatik},

address = { Leipzig },

url = { http://slubdd.de/katalog?TN_libero_mab2 }