×

zbMATH — the first resource for mathematics

Dräger, Klaus

Compute Distance To:
Author ID: drager.klaus Recent zbMATH articles by "Dräger, Klaus"
Published as: Dräger, Klaus
Documents Indexed: 13 Publications since 1995, including 1 Book

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 22 times in 22 Documents Cited by Year
Directed model checking with distance-preserving abstractions. Zbl 1178.68338
Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas
8
2006
Slicing abstractions. Zbl 1141.68457
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
4
2007
Binomial distribution handbook for scientists and engineers. With CD-ROM. Zbl 1010.62001
von Collani, Elart; Dräger, Klaus
3
2001
Slicing abstractions. Zbl 1154.68079
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
3
2008
Model checking stochastic branching processes. Zbl 1365.68320
Chen, Taolue; Dräger, Klaus; Kiefer, Stefan
3
2012
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
1
2015
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
1
2015
Model checking stochastic branching processes. Zbl 1365.68320
Chen, Taolue; Dräger, Klaus; Kiefer, Stefan
3
2012
Slicing abstractions. Zbl 1154.68079
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
3
2008
Slicing abstractions. Zbl 1141.68457
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
4
2007
Directed model checking with distance-preserving abstractions. Zbl 1178.68338
Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas
8
2006
Binomial distribution handbook for scientists and engineers. With CD-ROM. Zbl 1010.62001
von Collani, Elart; Dräger, Klaus
3
2001

Citations by Year