Validation of stochastic systemsChristel Baier

Validation of stochastic systems

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen · 2004

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2004
Language: English
Publisher: Springer
Editions: 2
Pages: 467
ISBN: 9783540222651

Data source: Wikidata

More by Christel Baier

Principles of model checkingChristel Baier

Principles of model checking

Christel Baier · 2008

Foundations of Software Science and Computation StructuresChristel Baier

Foundations of Software Science and Computation Structures

Christel Baier · 2018

Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier · 2018

Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier

Tools and Algorithms for the Construction and Analysis of Systems

Christel Baier · 2015

CONCUR 2006 - Concurrency TheoryChristel Baier

CONCUR 2006 - Concurrency Theory

Christel Baier · 2006