Lucie Ciencialová, Erzsébet Csuhaj-Varjú, György Vaszil, Ludek Cienciala. APCol Systems with Verifier Agents. In Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron, editors, Membrane Computing - 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers. Volume 11399 of Lecture Notes in Computer Science, pages 95-107, Springer, 2018. [doi]
Abstract is missing.