Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008843412/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog contributor b12406876.
- catalog contributor b12406877.
- catalog contributor b12406878.
- catalog created "c2001.".
- catalog date "2001".
- catalog date "c2001.".
- catalog dateCopyrighted "c2001.".
- catalog description "Advances in Model Representations / M. Siegle -- Faster and Symbolic CTMC Model Checking / J.-P. Katoen, M. Kwiatkowska and G. Norman / [and others] -- Reachability Analysis of Probabilistic Systems by Successive Refinements / P.R. D'Argenio, B. Jeannet and H.E. Jensen / [et al.] -- Beyond Memoryless Distributions: Model Checking Semi-Markov Chains / G.G. Infante Lopez, H. Hermanns and J.-P. Katoen -- Coin Lemmas with Random Variables / K. Folegati and R. Segala -- MoDeST -- A Modelling and Description Language for Stochastic Timed Systems / P.R. D'Argenio, H. Hermanns and J.-P. Katoen / [et al.] -- Randomization Helps in LTL Model Checking / L. Brim, I. Cerna and M. Necesal.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "xii, 215 p. :".
- catalog identifier "354042556X (pbk. : acid-free paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2165".
- catalog issued "2001".
- catalog issued "c2001.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "511.3 21".
- catalog subject "Machine theory Congresses.".
- catalog subject "Parallel processing (Electronic computers) Congresses.".
- catalog subject "QA267 .P36 2001".
- catalog tableOfContents "Advances in Model Representations / M. Siegle -- Faster and Symbolic CTMC Model Checking / J.-P. Katoen, M. Kwiatkowska and G. Norman / [and others] -- Reachability Analysis of Probabilistic Systems by Successive Refinements / P.R. D'Argenio, B. Jeannet and H.E. Jensen / [et al.] -- Beyond Memoryless Distributions: Model Checking Semi-Markov Chains / G.G. Infante Lopez, H. Hermanns and J.-P. Katoen -- Coin Lemmas with Random Variables / K. Folegati and R. Segala -- MoDeST -- A Modelling and Description Language for Stochastic Timed Systems / P.R. D'Argenio, H. Hermanns and J.-P. Katoen / [et al.] -- Randomization Helps in LTL Model Checking / L. Brim, I. Cerna and M. Necesal.".
- catalog title "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.).".
- catalog type "Aachen (2001) swd".
- catalog type "Conference proceedings. fast".
- catalog type "text".