Delta -trees of a graph: introduction and formal definition
Janet Davis, Enrico Macii · 2002
The authors introduce and formally define the Delta -trees of a graph. They have used Delta -trees in developing formal techniques for hardware verification based on the exploration of the graph structure of interacting finite state machines and omega -regular automata.>