Skip to content Skip to footer

Computing Conditional Probabilities in Markovian Models Efficiently

Activity: Talk or presentation at external institutions/eventsTalk/PresentationContributed

Persons and affiliations

Date

6 Apr 201412 Apr 2014

Conference

Title20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Abbreviated titleTACAS 2014
Duration7 - 11 April 2014
Degree of recognitionInternational event
CityGrenoble
CountryFrance

Keywords

Related content