Statistics
Publications
2
Citations
385
H-Index
2
Active since
1993
Affiliations
Siemens (Germany)(Current)
Thomas Filkorn is an author at Siemens (Germany) specializing in model checking, formal methods, and computing.
Publications per year
1993–1996
2
2
Exploiting symmetry in temporal logic model checking
E. M. Clarke, Reinhard Enders, Thomas Filkorn et al. · Formal Methods in System Design · 1996 · 322 citations
1–2 of 2