output
20062011
most citedDiffusion of a granular pulse in a rotating drum

53 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2010★ 2 cited

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Benoît Boyer, Thomas Genet

The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification tec…