Cover von Process algebra and probabilistic methods opens in new tab

Process algebra and probabilistic methods

performance modeling and verification : second joint international workshop Copenhagen, Denmark, July 25 - 26, 2002, proceedings
Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2399
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 2399 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International joint workshop on PAPM-PROBMIV <2, 2002, Copenhagen>

Details

Search for this author
Year: 2002
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-43913-7
Description: X, 214 S.
Series: Lecture notes in computer science; 2399
Participating parties: Search for this character Hermanns, Holger; Segala, Roberto
Parallel title: PAPM-PROBMIV 2002
Media group: MONOGRAPHIE