Title: Verfahren Zur Rechnergestützten Analyse Linearer Netzwerke