Concepedia

Author

Klaus Estenfeld

Siemens (Germany)

Also Known As

K. Estenfeld, Klaus Estenfeld

11

Publications

82

Citations

3

H-Index

6

Concepts

All Affiliations

Siemens (Germany)
KE

About

Klaus Estenfeld is an author at Siemens (Germany) specializing in automated reasoning, computer science, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

72

2

Computer Science

2

2

72

3

Automated Reasoning

2

2

72

4

Formal Methods

2

2

72

5

Formal Verification

1

1

11

Klaus Estenfeld

×

2

Publications

72

Citations

2

H-Index

YearCitations

Page 1