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="Diaz, M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Information theoretic approximations for the
M/G/1
retrial queue
G.I. Falin
,
M. Martìn Diaz
,
J.R. Artalejo
Acta Informatica
31
, 1994, pp. 559-571
Petri net based models in the specification and verification of protocols
M. Diaz
Lecture Notes in Computer Science
255
, 1987, pp. 135-170
A Petri net analysis of starvation
R. Valette
,
G.F. Guidacci da Silveira
,
M. Diaz
misc, 1979