Holger Hermanns, R. S. Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings. Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
Holger Hermanns, Roberto Segala. Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings. Berlín, Alemania: Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
Holger Hermanns, Roberto Segala. Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings. Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.