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: Series=Proceedings in Informatics AND YEAR=2000
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A tool for quantitative analysis of
\pi
-calculus processes
Linda Brodo
,
Pierpaolo Degano
,
Corrado Priami
Proceedings in Informatics
8
, 2000, pp. 535-549
Integrating TwoTowers and GreatSPN
M. Bernardo
,
N. Busi
,
M. Ribaudo
Proceedings in Informatics
8
, 2000, pp. 551-563
Performance analysis of UMTS resource allocation strategies using TIPPtool
L. Deotto
,
F. Babich
Proceedings in Informatics
8
, 2000, pp. 565-577
A matrix-based method for analysing stochastic process algebras
J.T. Bradley
,
N.J. Davies
Proceedings in Informatics
8
, 2000, pp. 579-590
An asynchronous calculus for generative-reactive probabilistic systems
A. Aldini
,
M. Bravetti
Proceedings in Informatics
8
, 2000, pp. 591-605
Approximating variance in non-product form decomposed models
Nigel Thomas
,
Jeremy Bradley
Proceedings in Informatics
8
, 2000, pp. 607-619
Seiten
<
1
2
3