Dependable Systems
and Software
Home
Members
Research
Teaching
Theses
Tools
Contact
Imprint
Privacy Policy
Fabian Bendun: Bachelor's Thesis
Approximation of Bisimulation in Probabilistic Metric Systems
Submitted:
May 2010
Abstract
This thesis has no abstract.
