Actively learning to verify safety for FIFO automata (2004)

by A Vardhan, K Sen, M Viswanathan, G Agha
Venue:In FSTTCS