Poids de l’Open access dans la production CNRS
Home
Resources
Graphs
Search
Export
Sign in
Titre
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
XX
BSO - Titre
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
XX
DOI
DOI
10.1016/j.tcs.2017.01.015
XX
DOAI
DOAI
10.1016/j.tcs.2017.01.015
XX
Identifiant WoS
WOS:000397690600001
XX
Accès ouvert
OA - Oui
XX
Source - Accès ouvert
OA - Non
XX
Type d'accès
Archive
XX
Editeur
Elsevier
XX
Source
THEORETICAL COMPUTER SCIENCE
XX
ISSN
0304-3975
XX
Type de document
Article
XX
Notoriété
2 - Acceptable
XX
CNRS
Oui
XX
CNRS - Institut
INS2I - Institut des sciences de l'information et de leurs interactions
XX
uid:/Q4BHZT1L
12/10/2021 14:52:39 (latest)
Add field
Share/Export
Powered by
Lodex
9.6.0
