Analytical observations for a multiservice node
- 作者Wen-Jung Hsin; Appie van de Liefvoort
- 卷第51卷
- 印刷ISSN0166-5316
- 文件大小212.32KB
- 发表时间2003
- DOI10.1016/s0166-5316(02)00097-4
- 页码103-116
Post-Orchiectomy Hot FlushesBuchholz, Niels-Peter; Mattarelli, Gianfranco; Huber Buchholz, Marie-Madeleine · European Urology · 1994
Urological complications associated with caesarean sectionNiels-Peter Buchholz; Elizabeth Daly-Grandeau; Marie-Madeleine Huber-Buchholz · 1994
Testicular Metastasis of Cerebral Malignant LymphomaBuchholz, Niels-Peter; Huber-Buchholz, Marie-Madeleine; Stähelin, Jody · Urologia Internationalis · 1995
Hierarchical Reachability Graph Generation for Petri NetsPeter Buchholz; Peter Kemper · 2002
Analysis of 23 Cases of Primary Carcinoma of the Fallopian Tube over 50 YearsDr. Marie-Madeleine Huber-Buchholz; Niels-Peter Buchholz; Jody Staehelin · 1996
On generating a hierarchy for GSPN analysisBuchholz, Peter; Kemper, Peter · ACM SIGMETRICS Performance Evaluation Review · 1998
Model Checking for a Class of Weighted AutomataPeter Buchholz; Peter Kemper · 2010
Model-checking large structured Markov chainsPeter Buchholz; Joost-Pieter Katoen; Peter Kemper; Carsten Tepper · 2003