LEADER 04506nam 22008535 450 001 9910767527203321 005 20200629201918.0 010 $a1-280-30787-0 010 $a9786610307876 010 $a3-540-24611-8 024 7 $a10.1007/b98484 035 $a(CKB)1000000000212450 035 $a(SSID)ssj0000266491 035 $a(PQKBManifestationID)11254379 035 $a(PQKBTitleCode)TC0000266491 035 $a(PQKBWorkID)10305564 035 $a(PQKB)10913451 035 $a(DE-He213)978-3-540-24611-4 035 $a(MiAaPQ)EBC3087985 035 $a(PPN)114036101 035 $a(EXLCZ)991000000000212450 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aValidation of Stochastic Systems $eA Guide to Current Research /$fedited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (VIII, 470 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2925 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-22265-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aModelling Stochastic Systems -- Probabilistic Automata: System Types, Parallel Composition and Comparison -- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions -- An Overview of Probabilistic Process Algebras and Their Equivalences -- Model Checking of Stochastic Systems -- Verifying Qualitative Properties of Probabilistic Programs -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large State Spaces -- Serial Disk-Based Analysis of Large Stochastic Models -- Kronecker Based Matrix Representations for Large Markov Models -- Symbolic Representations and Analysis of Large Probabilistic Systems -- Probabilistic Methods in State Space Analysis -- Deductive Verification of Stochastic Systems -- Analysing Randomized Distributed Algorithms -- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems -- The Verification of Probabilistic Lossy Channel Systems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2925 606 $aProbabilities 606 $aComputers 606 $aComputer logic 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aMicroprocessors 606 $aProbability Theory and Stochastic Processes$3https://scigraph.springernature.com/ontologies/product-market-codes/M27004 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 615 0$aProbabilities. 615 0$aComputers. 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aOperating systems (Computers). 615 0$aMicroprocessors. 615 14$aProbability Theory and Stochastic Processes. 615 24$aComputation by Abstract Devices. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aProcessor Architectures. 676 $a003/.76 702 $aBaier$b Christel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHaverkort$b Boudewijn R$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHermanns$b Holger$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKatoen$b Joost-Pieter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSiegle$b Markus$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767527203321 996 $aValidation of Stochastic Systems$92092073 997 $aUNINA