EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 1. 2002
Hermanns, H. and Segala, R., ed.
(2002)
Process Algebra and Probabilistic Methods, Performance Modeling and Verification.
Lecture Notes in Computer Science 2399.
Springer-Verlag, Copenhagen, Denmark.
ISSN 0302-9743
ISBN 3-540-43913-7
This list was generated on Thu May 24 08:08:56 CEST 2012. |
||||||||||||||||