Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Submit
Browse
Last submissions
By publication type
By subject
By publication date
By structure
HAL repositories
Collections
Search
Documentation
hal-00005596, version 1
On probabilistic timed automata
Danièle Beauquier
1
Details
1
LACL - Laboratoire d'Algorithmique Complexité et Logique
Danièle Beauquier
1
AuthorId : 53579
Author
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
Hide details
Document type
:
Journal articles
Liste complète des métadonnées
Display
Hide
https://hal.archives-ouvertes.fr/hal-00005596
Contributor :
Loulergue Frédéric
<
>
Submitted on : Friday, June 24, 2005 - 10:02:14 PM
Last modification on : Friday, April 12, 2019 - 10:18:03 AM
Identifiers
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⟩
Export
BibTeX
TEI
DC
DCterms
EndNote
Share
Metrics
Record views
61
