1
Published 2007
Table of Contents: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... with Preprocessing -- Games, Time, and Probability: Graph Models for System Design and Analysis -- Agreement...
View full text
Electronic eBook