Referentgranskade publikationer

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Linear-space recognition for grammars with contexts (2018)
Barash M, Okhotin A
Theoretical Computer Science
Visa på utgivarens sida
A4 Konferenspublikationer
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B (2018)
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Foundational Framework for Step-by-Step Model Construction (2017)
Mikhail Barash, Ion Petre
Fundamenta Informaticae
Visa på utgivarens sida

Senast uppdaterad 2019-01-01 vid 08:08