Three-valued abstraction for stochastic systems

Zugl.: Aachen, Techn. Hochsch., Diss., 2010

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Klink, Daniel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München Verl. Dr. Hut 2010
Ausgabe:	1. Aufl.
Schriftenreihe:	Informatik
Schlagworte:	Stochastisches System > Model Checking > Dreiwertige Logik > Hochschulschrift
Online Zugang:	http://darwin.bth.rwth-aachen.de/opus3/volltexte/2010/3212/
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Zugl.: Aachen, Techn. Hochsch., Diss., 2010
Beschreibung:	Zusammenfassung in dt.
Beschreibung:	VIII, 223 S. graph. Darst. 240 mm x 170 mm, 592 gr.
ISBN:	9783868534085 978-3-86853-408-5