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="Brinksma, Ed"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Compositional theories of qualitative and quantitative behaviour
Ed Brinksma
Lecture Notes in Computer Science
2679
, 2003, pp. 37-42
Fair testing
Ed Brinksma
,
Arend Rensink
,
Walter Vogler
Lecture Notes in Computer Science
962
, 1995, pp. 313-327
Performance and formal design: A process algebraic perspective
Ed Brinksma
Proceedings of the 6th International Workshop on Petri Nets and Performace Models, PNPM'95 (Durham, North Carolina, October 3-6, 1995)
, 1995, pp. 124-125
Specification styles in distributed systems design and versification
Chris A. Vissers
,
Giuseppe Scollo
,
Marten Van Sinderen
,
Ed Brinksma
Theoretical Computer Science
89
, 1991, pp. 179-206