Research Output 1989 2019

Filter
PhD Thesis - Research UT, graduation external
2006
20 Downloads (Pure)

Symbolic Semantics and Verification of Stochastic Process Algebras

Kuntz, G. W. M., 2 Feb 2006, Erlangen: Springer. 240 p.

Research output: ThesisPhD Thesis - Research UT, graduation externalAcademic

File