Pontus Bostr\"om
Identifiers
- name variant Pontus Bostr\"om 0.60 · backfill
Papers (1)
- Concurrent Scheduling of Event-B Models cs.LO · 2011 · author #1
Mentions
- 1106.4100 #1 · backfill · confidence 0.70 Pontus Bostr\"om
Frequent Coauthors
- Fredrik Degerlund 1 shared papers
- Kaisa Sere 1 shared papers
- Marina Wald\'en 1 shared papers