Reachability in Resource-Bounded Reaction Systems

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca. Reachability in Resource-Bounded Reaction Systems. In Adrian Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Volume 9618 of Lecture Notes in Computer Science, pages 592-602, Springer, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.