Gast ::
Reachability in continuous-time Markov reward decision processes
; ; ;
In
Logic and automata : history and perspectives / ed. by Jörg Flum ..., Seiten/Artikel-Nr: 53-72
2008
Online
URL: http://eprints.eemcs.utwente.nl/11634/01/bhhk07.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Externer link: 
Homepage of publisher
Dokumenttyp
Contribution to a book
Format
online, print
Sprache
English
Interne Identnummern
RWTH-CONV-095688
Datensatz-ID: 83793
|
The record appears in these collections: |
Datensatz erzeugt am 2013-01-28, letzte Änderung am 2020-03-25
Externer link:
Homepage of publisher
Homepage of publisher