Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain Forward analysis and model checking for trace bounded WSTS. (English) Zbl 1343.68162 Theor. Comput. Sci. 637, 1-29 (2016). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{P. Chambart} et al., Theor. Comput. Sci. 637, 1--29 (2016; Zbl 1343.68162) Full Text: DOI
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain Parametric random generation of deterministic tree automata. (English) Zbl 1209.68298 Theor. Comput. Sci. 411, No. 38-39, 3469-3480 (2010). MSC: 68Q45 PDF BibTeX XML Cite \textit{P.-C. Héam} et al., Theor. Comput. Sci. 411, No. 38--39, 3469--3480 (2010; Zbl 1209.68298) Full Text: DOI