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