EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Heindl, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2008

Remke, A.K.I. and Haverkort, B.R.H.M. and Heijenk, G.J. and Cloth, L. (2008) Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. In: Analytical and Stochastic Modeling Techniques and Application, 04-06 Jun 2008, Nicosia, Cyprus. pp. 279-294. Lecture Notes in Computer Science 5055. Springer. ISSN 0302-9743 ISBN 978-3-540-68980-5

2006

Kuntz, G.W.M. and Siegle, M. (2006) CASPA: Symbolic Model Checking of Stochastic Systems. In: Proceedings of the 13th GI/ITG Conference Measureing, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nuernberg, Germany. pp. 465-468. VDE Verlag. ISBN 3-800-72945-8
Martinez Verdugo, J.M. and Haverkort, B.R.H.M. (2006) CSL model checking of deterministic and stochastic Petri nets. In: Proceedings 13th GI/ITG conference on measuring, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nuernberg, Germany. pp. 265-282. VDE VERLAG. ISBN 978-3-8007-2945-6

This list was generated on Mon May 29 01:19:08 CEST 2017.