Process Algebra and Probabilistic Methods Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... Notes in Computer Science (2399), Band 2399)
von:
Holger Hermanns
·
Roberto Segala
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-43913-4
ISBN-10: 3-540-43913-7
Springer
· 2009
