Franklin

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.

Publication:
Berlin ; New York : Springer, c2002.
Format/Description:
Conference/Event
Book
x, 214 p. : ill. ; 24 cm.
Conference Name:
PAPM-PROBMIV 2002 (2002 : Copenhagen, Denmark)
Series:
Lecture notes in computer science, 0302-9743 ; 2399
Status/Location:
Loading...

Get It

Details

Subjects:
Machine theory -- Congresses.
Parallel processing (Electronic computers) -- Congresses.
Notes:
Includes bibliographical references and index.
Contributor:
Hermanns, Holger, 1967-
Segala, Roberto, 1968-
ISBN:
3540439137 (pbk. : alk. paper)
OCLC:
50072386