Verification by means of observational equivalence on automata (1986)

by D Vergamini
Venue:INRIA, Sophia Antipolis