Turku Centre for Computer Science


A1 Journal article (refereed)
Linear-space recognition for grammars with contexts (2018)
Barash M, Okhotin A
Theoretical Computer Science
View on publisher's site
A4 Conference proceedings
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B (2018)
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
View on publisher's site

Last updated on 2018-30-08 at 17:26