検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 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.) T2 Lecture notes in computer science A1 PAPM-PROBMIV A1 Process Algebras and Performance Modeling Workshop A1 Probabilistic Methods in Verification A1 De Alfaro, Luca, 1966- A1 Gilmore, Stephen, 1962- YR 2001 FD c2001 SP xii, 215 p. K1 Machine theory -- Congresses K1 Parallel processing (Electronic computers) -- Congresses PB Springer PP Berlin ; Tokyo SN 354042556X LA English (英語) CL LCC:QA267 NO Including bibliographical references and index NO 書誌ID=1001322881; NCID=BA53606334; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001322881 OL 30