Format:
XIII, 241 S.
,
graph. Darst.
,
30 cm
Note:
Erlangen, Nürnberg, Univ., Diss., 2006 (Nicht für den Austausch)
Additional Edition:
Online-Ausg. Kuntz, Matthias, 1974- Symbolic semantics and verification of stochastic process algebras
Language:
English
Keywords:
Hochschulschrift
Bookmarklink