2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…