Peter Herrmann

Identifiers

• name variant Peter Herrmann 0.60 · backfill

Papers (2)

1. Towards Classification of Lightweight Formal Methods cs.SE · 2018 · author #4
2. Towards Verifying Safety Properties of Real-Time Probabilistic Systems cs.SE · 2014 · author #3

Mentions

• 1404.0846 #3 · backfill · confidence 0.70 Peter Herrmann

Frequent Coauthors

• Jan Olaf Blech 2 shared papers
• Anna Zamansky 1 shared papers
• Fenglin Han 1 shared papers
• Guillermo Rodriguez-Navas 1 shared papers
• Heinz Schmidt 1 shared papers
• Maria Spichkova 1 shared papers