pith. sign in

Kaisa Sere

Identifiers

  • name variant Kaisa Sere 0.60 · backfill

Papers (1)

  1. Concurrent Scheduling of Event-B Models cs.LO · 2011 · author #3

Mentions

  • 1106.4100 #3 · backfill · confidence 0.70 Kaisa Sere

Frequent Coauthors