Weiter zum Inhalt Weiter zur Fußzeile

Computing Conditional Probabilities in Markovian Models Efficiently

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/VeranstaltungenVortragBeigetragen

Personen und Einrichtungen

Datum

6 Apr. 201412 Apr. 2014

Konferenz

Titel20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
KurztitelTACAS 2014
Dauer7 - 11 April 2014
BekanntheitsgradInternationale Veranstaltung
StadtGrenoble
LandFrankreich

Schlagworte

Verknüpfte Inhalte