Hochschulschrift

Automatische Verifikation stochastischer Systeme

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
21 cm
Extent
IX, 136 S.
Language
Deutsch
Notes
Ill., graph. Darst.
Zugl.: Erlangen, Nürnberg, Univ., Diss.

Bibliographic citation
Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen Nürnberg / Friedrich-Alexander-Universität Erlangen-Nürnberg ; Bd. 37, Nr. 1

Classification
Informatik

Event
Veröffentlichung
(where)
Erlangen
(who)
Inst. für Informatik
(when)
2004
Creator
Meyer-Kayser, Joachim

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:52 PM CEST

Data provider

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

Object type

  • Hochschulschrift

Associated

  • Meyer-Kayser, Joachim
  • Inst. für Informatik

Time of origin

  • 2004

Other Objects (12)