DMCA

Actively learning to verify safety for FIFO automata (2004)

by Abhay Vardhan , Koushik Sen , Mahesh Viswanathan , Gul Agha
Venue:In LNCS 3328, Proc. of FSTTCS’04
Citations:15 - 4 self