A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Complexity of model checking for reaction systems

Tekijät: Azimi Sepinoud, Gratie Cristian, Ivanov Sergiu, Manzoni Luca, Petre Ion, Porreca Antonio E.

Julkaisuvuosi: 2016

Lehti: Theoretical Computer Science

Vuosikerta: 623

Aloitussivu: 103

Lopetussivu: 113