Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Free and accessible knowledge
Home
Submit
Browse
Last submissions
By publication type
By subject
By publication date
By structure
HAL repositories
Search
Documentation
hal-00005596, version 1
Journal articles
On probabilistic timed automata
Danièle Beauquier
1
Details
1
LACL - Laboratoire d'Algorithmique Complexité et Logique
Danièle Beauquier
1
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
Complete list of metadata
Display
https://hal.archives-ouvertes.fr/hal-00005596
Contributor :
Loulergue Frédéric
Connect in order to contact the contributor
Submitted on : Friday, June 24, 2005 - 10:02:14 PM
Last modification on : Tuesday, October 19, 2021 - 4:06:39 PM
Identifiers
HAL Id :
hal-00005596, version 1
Collections
UPEC-UPEM
|
CNRS
|
LACL
|
UPEC
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
Datacite
Share
Metrics
Record views
28