Verification of reachability properties and termination for probabilistic systems

München, Techn. Univ., Diss., 2013

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gaiser, Andreas (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2013
Schlagworte:	Zustandsgraph > Terminierung > Programmverifikation > Markov-Kette > Hochschulschrift
Online Zugang:	Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20130410-1115880-0-4 Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!