Referentgranskade publikationer

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models (2014)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Formal Aspects of Computing
Visa på utgivarens sida
A4 Konferenspublikationer
Concurrent Scheduling of Event-B Models (2011)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
Visa på utgivarens sida

Senast uppdaterad 2018-19-09 vid 19:42