Morten Jacobsen

Identifiers

• name variant Morten Jacobsen 0.60 · backfill

Papers (1)

1. A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets cs.LO · 2012 · author #3

Mentions

• 1211.6194 #3 · backfill · confidence 0.70 Morten Jacobsen

Frequent Coauthors

• Alexandre David 1 shared papers
• Ji\v{r}\'i Srba 1 shared papers
• Lasse Jacobsen 1 shared papers