Korrektheit des Netzmodells fur den CCR-Algorithmus
Subtitle: Entwurf eines Verfahrens zur parametrisierten Erreichbarkeitsanalyse
Publisher: Gesellschaft fur Mathematik und Datenverarbeitung
Published: 1988
Place of publication: Sankt Augustin
Language: ger
Number of pages: 87