Approximate Finite State Machine Traversal: Extensions and New Results

Hyeonglae Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Kavita Ravi, Fabio Somenzi

PORTO Publications Open Repository TOrino (Politecnico di Torino) · 1995 · 21 citations · 0 references

Concepts