【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

PAPM-PROBMIV

ID:DA13246750

Alias Name: PAPM-PROBMIV Workshop

Search authors sharing the same name

Search Results1-2 of 2

1

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.)

Springer c2002 Lecture notes in computer science 2399

Available at 24 libraries
2

Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Luca de Alfaro, Stephen Gilmore (eds.)

Springer c2001 Lecture notes in computer science 2165

Available at 25 libraries

Search this author

Related Authors