Complexity of model checking for reaction systems

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

Research output: Contribution to journalArticleScientificpeer-review

12 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)103–113
JournalTheoretical Computer Science
Volume623
DOIs
Publication statusPublished - 2016
MoE publication typeA1 Journal article-refereed

Cite this