Shelfclass_id |
3.A |
Sortkey |
PAPM-PROBMIV |
Authors |
Editors: Luca de Alfaro, Stephen Gilmore |
Title |
PAPM-PROBMIV 2001: Process Algebra and Probabilistic Methods: Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings |
Publisher |
Springer |
Year |
2001 |
Languages |
eng |
Isbn |
354042556, 9783540425564 |
Series |
Lecture Notes in Computer Science |
Volume |
2165 |
Issn |
0302-9743 |
Description |
X xii, 215 p. ill. 24 cm |
Record date |
20110919 |
Location |
New York |
Keywords |
Machine theory, Parallel processing (Electronic computers) |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0829/2001044642-d.html |