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="Sernadas, C."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Categorical foundations for randomly timed automata
P. Mateus
,
M. Morais
,
C. Nunes
,
A. Pacheco
,
A. Sernadas
,
C. Sernadas
Theoretical Computer Science
308
(1-3), 2003, pp. 393-427
A two-level temporal logic for evolving specifications
P.Y. Schobbens
,
G. Saake
,
A. Sernadas
,
C. Sernadas
Information Processing Letters
83
(3), 2002, pp. 167-172
Object inheritance beyond subtyping
J.F. Costa
,
A. Sernadas
,
C. Sernadas
Acta Informatica
31
(1), 1994, pp. 5-26
Data encapsulation and modularity: Three views of inheritance
J.F. Costa
,
A. Sernadas
,
C. Sernadas
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(GdaĆsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 382-391
Object interaction
J.F. Costa
,
A. Sernadas
,
C. Sernadas
,
H.-D. Ehrich
Lecture Notes in Computer Science
629
, 1992, pp. 200-208