Tools

LEADER 03293cam 2200493Ia 4500

001 ocm56522466;

003 OCoLC;

005 20141212180323.0;

006 m d ;

007 cr |||||||||||;

008 040916s2004 gw a ob 001 0 eng d;

020 a| 3540222650;

020 a| 9783540222651;

035 a| (Sirsi) o56522466;

035 a| (OCoLC)56522466;

049 a| EREE;

090 a| QA274.2b| .V35 2004eb;

245 00 a| Validation of stochastic systems :b| a guide to current research /c| Christel Baier [and others] (eds.).;

300 a| viii, 465 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Tutorial;

490 1 a| Lecture notes in computer science ;v| 2925;

504 a| Includes bibliographical references and index.;

505 0 a| Probabilistic automata : system types, parallel composition and comparison / Ana Sokolova, Erik P. de Vink -- Tutte le algebre insieme : concepts, discussions and relations of stochastic process algebras with general distributions / Mario Bravetti, Pedro R. D'Argenio -- An overview of probabilistic process algebras and their equivalences / Natalia López, Manuel Núñez -- Verifying qualitative properties of probabilistic programs / Benedikt Bollig, Martin Leucker -- On probabilistic computation tree logic / Frank Ciesinski, Marcus Grösser -- Model checking for probabilistic timed systems / Jeremy Sproston -- Serial disk-based analysis of large stochastic models / Rashid Mehmood -- Kronecker based matrix representations for large Markov models / Peter Buchholz, Peter Kemper -- Symbolic representations and analysis of large probabilistic systems / Andrew Miner, David Parker -- Probabilistic methods in state space analysis / Matthias Kuntz, Kai Lampka -- Analysing randomized distributed algorithms / Gethin Norman -- An abstraction framework for mixed non-deterministic and probabilistic systems / Michael Huth -- The verification of probabilistic lossy channel systems / Philippe Schnoebelen.;

650 0 a| Stochastic systems.=| ^A126732;

650 0 a| Stochastic analysis.=| ^A111030;

650 0 a| Stochastic processes.=| ^A5552;

700 1 a| Baier, Christel.=| ^A585837;

710 2 a| LINK (Online service)=| ^A526660;

830 0 a| Lecture notes in computer sciencev| 2925.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Tutorial.=| ^A583079;

856 40 3| SpringerLinku| https://go.openathens.net/redirector/ecu.edu?url=https://link.springer.com/book/10.1007/b98484;

949 a| Click on web addressw| ASISh| joyner96o| jhlr;

949 a| Click on web addressw| ASISh| hsl77o| jhlr;

994 a| C0b| ERE;

596 a| 1 4;

998 a| 977190;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 977190-2001l| JNETm| JOYNERr| Ys| Yt| JNE3BKu| 9/26/2011x| EBOOKz| JERESOURCEo| .STAFF. jhlr;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 977190-3001l| HSLELECm| HSLr| Ys| Yt| HGENEBKu| 9/26/2011x| EBOOKz| HERESOURCEo| .STAFF. jhlr;

Validation of stochastic systems : a guide to current research / Christel Baier [and others] (eds.).

Other author	Baier, Christel.
Other author	LINK (Online service)
Format	Electronic
Publication Info	Berlin : Springer-Verlag, ©2004.
Description	viii, 465 pages : illustrations ; 24 cm.
Supplemental Content	SpringerLink
Subjects	Stochastic systems. Stochastic analysis. Stochastic processes.

Series	Tutorial Lecture notes in computer science ; 2925 Lecture notes in computer science 2925. ^A466336 Lecture notes in computer science. Tutorial. ^A583079
Contents	Probabilistic automata : system types, parallel composition and comparison / Ana Sokolova, Erik P. de Vink -- Tutte le algebre insieme : concepts, discussions and relations of stochastic process algebras with general distributions / Mario Bravetti, Pedro R. D'Argenio -- An overview of probabilistic process algebras and their equivalences / Natalia López, Manuel Núñez -- Verifying qualitative properties of probabilistic programs / Benedikt Bollig, Martin Leucker -- On probabilistic computation tree logic / Frank Ciesinski, Marcus Grösser -- Model checking for probabilistic timed systems / Jeremy Sproston -- Serial disk-based analysis of large stochastic models / Rashid Mehmood -- Kronecker based matrix representations for large Markov models / Peter Buchholz, Peter Kemper -- Symbolic representations and analysis of large probabilistic systems / Andrew Miner, David Parker -- Probabilistic methods in state space analysis / Matthias Kuntz, Kai Lampka -- Analysing randomized distributed algorithms / Gethin Norman -- An abstraction framework for mixed non-deterministic and probabilistic systems / Michael Huth -- The verification of probabilistic lossy channel systems / Philippe Schnoebelen.
Bibliography note	Includes bibliographical references and index.
Reproduction note	Electronic reproduction. Berlin : Springer-Verlag, [2004]. System requirements: Adobe Acrobat Reader. Mode of access: World Wide Web. Made available through SpringerLINK.
ISBN	3540222650
ISBN	9783540222651

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Validation of stochastic systems : a guide to current research / Christel Baier [and others] (eds.).

Click here for more information about this title

Availability