Report on analysis and verification techniques

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
21 cm
Extent
58 S.
Language
Deutsch
Notes
Literaturverz. S. 42 - 54

Bibliographic citation
Forschungsberichte des Fachbereichs Informatik der Universität Dortmund / Universität Dortmund ; Nr. 485

Event
Veröffentlichung
(where)
Dortmund
(who)
Dekanat Informatik, Univ.
(when)
1993
Creator
Herrmann, Peter
Krumm, Heiko

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.03.2025, 12:31 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 1993

Other Objects (12)