Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Revues
Documentation
Sciencesconf.org
Support
Connexion
Connexion
Connexion avec ORCID
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Dépôt
Consultation
Les derniers dépôts
Par type de publication
Par discipline
Par année de publication
Par structure de recherche
Les portails de l'archive
Les collections
Recherche
Documentation
hal-00005596, version 1
On probabilistic timed automata
Danièle Beauquier
1
Détails
1
LACL - Laboratoire d'Algorithmique Complexité et Logique
Danièle Beauquier
1
AuthorId : 53579
Auteur
1
LACL - Laboratoire d'Algorithmique Complexité et Logique
(Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX - France)
StructId : 1662
UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12
(61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
StructId : 420786
CNRS - Centre National de la Recherche Scientifique
: FRE2673
(France)
StructId : 441569
Masquer les détails
Type de document
:
Article dans une revue
Theoretical Computer Science
, Elsevier, 2003, 292, pp.65-84
Liste complète des métadonnées
Voir
Masquer
https://hal.archives-ouvertes.fr/hal-00005596
Contributeur :
Loulergue Frédéric
<
>
Soumis le : vendredi 24 juin 2005 - 22:02:14
Dernière modification le : jeudi 17 mai 2018 - 12:52:03
Identifiants
HAL Id :
hal-00005596, version 1
Collections
LACL
|
UPEC
|
UPEC-UPEM
Citation
Danièle Beauquier. On probabilistic timed automata.
Theoretical Computer Science
, Elsevier, 2003, 292, pp.65-84.
〈hal-00005596〉
Exporter
BibTeX
TEI
DC
DCterms
EndNote
Partager
Métriques
Consultations de la notice
56
