Stochastic transition systems: bisimulation, logic, and composition

Publikation: Hochschulschrift/Abschlussarbeit › Dissertation

Beitragende

Details

OriginalspracheEnglisch
Gradverleihende Hochschule
Betreuer:in / Berater:in
PublikationsstatusVeröffentlicht - 2018
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.Thesis

Schlagworte

Schlagwörter

  • Stochastic transition systems: bisimulation, logic, and composition