Schmitz, Sylvain (ed.); Potapov, Igor (ed.) Reachability problems. 14th international conference, RP 2020, Paris, France, October 19–21, 2020. Proceedings. (English) Zbl 07282897 Lecture Notes in Computer Science 12448. Cham: Springer (ISBN 978-3-030-61738-7/pbk; 978-3-030-61739-4/ebook). xxi, 165 p. (2020). MSC: 68-06 68Qxx 00B25 PDF BibTeX XML Cite \textit{S. Schmitz} (ed.) and \textit{I. Potapov} (ed.), Reachability problems. 14th international conference, RP 2020, Paris, France, October 19--21, 2020. Proceedings. Cham: Springer (2020; Zbl 07282897) Full Text: DOI
Farré, Jacques (ed.); Litovsky, Igor (ed.); Schmitz, Sylvain (ed.) Implementation and application of automata. 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27–29, 2005. Revised selected papers. (English) Zbl 1097.68004 Lecture Notes in Computer Science 3845. Berlin: Springer (ISBN 3-540-31023-1/pbk). xiii, 360 p. (2006). MSC: 68-06 68Q45 00B25 PDF BibTeX XML Cite \textit{J. Farré} (ed.) et al., Implementation and application of automata. 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27--29, 2005. Revised selected papers. Berlin: Springer (2006; Zbl 1097.68004) Full Text: DOI