Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 06:33:51 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||