Hochschulschrift

Three-valued abstraction for stochastic systems

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783868534085
Edition
1. Aufl.
Language
Englisch
Notes
Zugl.: Aachen, Techn. Hochsch., Diss., 2010

Classification
Informatik
Keyword
Abstraktion ; Model Checking ; Markov-Kette mit stetiger Zeit ; Verteiltes System ; Intervallwahrscheinlichkeit ; Prioritätswarteschlange ; Systembiologie ; Erlang-Verteilung

Event
Veröffentlichung
(where)
München
(who)
Verlag Dr. Hut
(when)
2010
Creator

URN
urn:nbn:de:hbz:82-opus-32124
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:22 AM 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

Time of origin

  • 2010

Other Objects (12)