Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings /

Bibliographic Details
Corporate Author: PAPM-PROBMIV 2002 Copenhagen, Denmark
Other Authors: Hermanns, Holger, 1967-, Segala, Roberto, 1968-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2002]
Series:Lecture notes in computer science ; 2399.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:

Remote Storage

Holdings details from Remote Storage
Call Number: QA267 .P36 2002
 
Call Number Status Get It
QA267 .P36 2002 Available