A symbolic approach to the state graph based analysis of high-level Markov reward models

Description

Erlangen, Nürnberg, Univ., Diss., 2007.

Links & Downloads

1. http://www.opus.ub.uni-erlangen.de/opus/volltexte/2007/675/pdf/KaiLampkaDissertation.pdf
2. http://www.opus.ub.uni-erlangen.de/opus/volltexte/2007/675/index.html
3. http://deposit.ddb.de/cgi-bin/dokserv?idn=985513926

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/637649023
Date	January 2007
Creators	Lampka, Kai.
Publisher	[S.l.] : [s.n.],
Source Sets	OCLC
Language	Undetermined
Detected Language	English