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]

@inproceedings{DennunzioFMP16,
  title = {Reachability in Resource-Bounded Reaction Systems},
  author = {Alberto Dennunzio and Enrico Formenti and Luca Manzoni and Antonio E. Porreca},
  year = {2016},
  doi = {10.1007/978-3-319-30000-9_45},
  url = {http://dx.doi.org/10.1007/978-3-319-30000-9_45},
  researchr = {https://researchr.org/publication/DennunzioFMP16},
  cites = {0},
  citedby = {0},
  pages = {592-602},
  booktitle = {Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings},
  editor = {Adrian Horia Dediu and Jan Janousek and Carlos Martín-Vide and Bianca Truthe},
  volume = {9618},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-29999-0},
}