Hao Lan

Identifiers

• name variant Hao Lan 0.60 · backfill

Papers (1)

1. Verification of Detectability in Petri Nets Using Verifier Nets cs.SY · 2019 · author #1

Mentions

• 1903.09298 #1 · arxiv_oai · confidence 0.70 Hao Lan

Frequent Coauthors

• Carla Seatzu 1 shared papers
• Jin Guo 1 shared papers
• Yin Tong 1 shared papers