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
Hilfe
Suche: Author="Andova, Suzana"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Branching bisimulation congruence for probabilistic systems
Suzana Andova
,
Sonja Georgievska
,
Nikola Trc̑ka
Theoretical Computer Science
413
(1), 2012, pp. 58-72
A framework for compositional verification of security protocols
Suzana Andova
,
Cas Cremers
,
Kristian Gjsteen
,
Sjouke Mauw
,
Stig F. Mjlsnes
,
Sas̑a Radomirović
Information and Computation
206
(2-4), 2008, pp. 425-459
Branching bisimulation for probabilistic systems: Characteristics and decidability
Suzana Andova
,
Tim A.C. Willemse
Theoretical Computer Science
356
(3), 2006, pp. 325-355