Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="B{\'{e}}rard, B{\'{e}}atrice"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Timed automata and additive clock constraints
Béatrice Bérard
,
Catherine Dufourd
Information Processing Letters
75
(1-2), 2000, pp. 1-7
Accepting Zeno words: A way toward timed refinements
Béatrice Bérard
,
Claudine Picaronny
Acta Informatica
37
(1), 2000, pp. 45-81
Accepting Zeno words without making time stand still
Béatrice Bérard
,
Claudine Picaronny
Lecture Notes in Computer Science
1295
, 1997, pp. 149-158
On the power of non-observable actions in timed automata
Béatrice Bérard
,
Paul Gastin
,
Antoine Petit
Lecture Notes in Computer Science
1046
, 1996, pp. 257-268