Complexity of model checking for reaction systems

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

: 2016

: Theoretical Computer Science

: 623

: 103

: 113