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

Author(s)

Bibliographic Information

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

Holger Hermanns, Roberto Segala (eds.)

(Lecture notes in computer science, 2399)

Springer, c2002

Available at  / 24 libraries

Search this Book/Journal

Note

Including bibliographies and index

Related Books: 1-1 of 1

Details

Page Top