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




Last updated on 2024-26-11 at 15:20