pith. sign in

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