Janno von Stülpnagel

JV

1

Publications

20

Citations

1

H-Index

2017

Active since

Affiliations

Janno von Stülpnagel is an author at University of Mannheim specializing in formal verification, automated reasoning, and knowledge discovery.

Publications per year

2017–2017

1

Publications

1