TY  - GEN
TI  - Formal Methods and Stochastic Models for Performance Evaluation
SN  - 978-0-387-28715-7
AV  - كتب إلكترونية 
PB  - Springer
KW  - Computer Science
N1  - Subscription to database on August 2010
UR  - http://www.springerlink.com/openurl.asp?genre=book&isbn=3-540-35362-3
ER  -