Concepedia

D. Berteun

DB

1

Publications

118

Citations

1

H-Index

2009

Active since

Affiliations

RWTH Aachen University(Current)

D. Berteun is an author at RWTH Aachen University specializing in formal verification, computational complexity, and automated reasoning.

Top concepts

Publications per year

2009–2009

1

Publications

1

Counterexample Generation in Probabilistic Model Checking

Tingting Han, Joost-Pieter Katoen, D. Berteun · IEEE Transactions on Software Engineering · 2009 · 118 citations

, , +15

Rows per page

1–1 of 1