Decisiveness and stochastic timed automata

No full text

Unpublished conference/Abstract (Scientific congresses and symposiums)

Bertrand, Nathalie; Bouyer-Decitre, Patricia; Brihaye, Thomas et al.

2016 • Séminaire du groupe de travail Vasco-Mexico du LSV, ENS Cachan

Permalink
https://hdl.handle.net/20.500.12907/26698

No document available.

Research center :

CREMMI - Modélisation mathématique et informatique

Disciplines :

Electrical & electronics engineering

Author, co-author :

Bertrand, Nathalie

Bouyer-Decitre, Patricia

Brihaye, Thomas ; Université de Mons > Faculté des Sciences > Service de Mathématiques effectives

Carlier, Pierre ; Université de Mons > Faculté des Sciences > Mathématiques effectives

Language :

English

Title :

Decisiveness and stochastic timed automata

Publication date :

23 March 2016

Number of pages :

Event name :

Séminaire du groupe de travail Vasco-Mexico du LSV, ENS Cachan

Event place :

Cachan, France

Research unit :

S820 - Mathématiques effectives

Research institute :

R150 - Institut de Recherche sur les Systèmes Complexes

Available on ORBi UMONS :

since 10 January 2017

Number of views

0 (0 by UMONS)

Number of downloads

0 (0 by UMONS)