DMCA

H.: A bounded statistical approach for model checking of unbounded until properties (2010)

by Ru He , Samik Basu , Arka P. Ghosh , Huaiqing Wu
Venue:In: ASE
Citations:3 - 0 self