There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 28

Record: found
Abstract: not found
Article: not found

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski (1955)

0 comments Cited 243 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

Concentration Inequalities

Stephane Boucheron, Gábor Lugosi, Pascal Massart (2013)

0 comments Cited 90 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

PRISM 4.0: Verification of Probabilistic Real-Time Systems

Marta Kwiatkowska, Gethin Norman, David Parker (2011)

0 comments Cited 59 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2019

Publication date (Online): April 03 2019

Pages: 135-153

DOI: 10.1007/978-3-030-17465-1_8

SO-VID: 4e18e2b3-18ec-4225-a614-e5dfcd9a847a

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

See all cited by

Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments

Read this book at

Related collections

Frontiers of Agricultural Science and Engineering

Most cited references 28

A lattice-theoretical fixpoint theorem and its applications

Concentration Inequalities

PRISM 4.0: Verification of Probabilistic Real-Time Systems

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,213

Cited by 3