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
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