Concepedia

Peter Kelb

PK

3

Publications

60

Citations

3

H-Index

1993

Active since

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

Oldenburger Institut für Informatik

Peter Kelb is an author at Carl von Ossietzky Universität Oldenburg specializing in engineering, systems engineering, and formal methods.

Top concepts

Publications per year

1993–2002

3

Publications

3

An OBDD-representation of statecharts

Johannes Helbig, Peter Kelb · 2002 · 25 citations

, , +22

Practical symbolic model checking of the full µ-calculus using compositional abstractions

Peter Kelb, Dennis Dams, RT Rob Gerth · Data Archiving and Networked Services (DANS) · 1995 · 18 citations · Full text

, , +18

VHDL/S — integrating statecharts, timing diagrams, and VHDL

Johannes Helbig, Rainer Schlör, Werner Damm et al. · Microprocessing and Microprogramming · 1993 · 17 citations

, , +8

Rows per page

1–3 of 3