A1 Refereed original research article in a scientific journal

Complexity of model checking for reaction systems

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

Publication year: 2016

Journal: Theoretical Computer Science

Volume: 623

First page : 103

Last page: 113