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="de Vink, E.P."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Injective synchronisation: An extension of the authentication hierarchy
C.J.F. Cremers
,
S. Mauw
,
E.P. de Vink
Theoretical Computer Science
367
(1-2), 2006, pp. 139-161
Bisimulation for probabilistic transition systems: A coalgebraic approach
E.P. de Vink
,
J.J.M.M. Rutten
Theoretical Computer Science
221
(1-2), 1999, pp. 271-293
Bisimulation for probabilistic transition systems: A coalgebraic approach
E.P. de Vink
,
J.J.M.M. Rutten
Lecture Notes in Computer Science
1256
, 1997, pp. 460-470