and

Identifiers

• name variant and 0.60 · backfill

Papers (1)

1. Parameter Synthesis Problems for Parametric Timed Automata cs.SY · 2018 · author #4

Mentions

• 1808.06792 #4 · arxiv_oai · confidence 0.70 and

Frequent Coauthors

• Bo Liu 1 shared papers
• Liyun Dai 1 shared papers
• Zhiming Liu 1 shared papers