Fenglin Han

Identifiers

• name variant Fenglin Han 0.60 · backfill

Papers (1)

1. Towards Verifying Safety Properties of Real-Time Probabilistic Systems cs.SE · 2014 · author #1

Mentions

• 1404.0846 #1 · backfill · confidence 0.70 Fenglin Han

Frequent Coauthors

• Heinz Schmidt 1 shared papers
• Jan Olaf Blech 1 shared papers
• Peter Herrmann 1 shared papers