Concept of Quantified Abstract Quotient Automaton and its Advantage.

Guy Juanole, Laurent Gallon

Browse the full FORTE paper archive.