Complexity of model checking for reaction systems
Azimi, Sepinoud, Gratie, Cristian, Ivanov, Sergiu, Manzoni, Luca, Petre, Ion, Porreca, Antonio E.Volume:
623
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2015.11.040
Date:
April, 2016
File:
PDF, 373 KB
english, 2016