150 citations · 623 across the 65 of their papers we have counts for
1 paper · 2 filters
Thomas Genet, Tristan Le Gall, Axel Legay +1
Tree Regular Model Checking (TRMC) is the name of a family of techniques for analyzing infinite-state systems in which states are represented by terms, and sets of states by Tree A…