DMCA

Approximate model checking of PCTL involving unbounded path properties,” ICFEM’09 (2009)

by Samik Basu , Arka P. Ghosh , Ru He
Citations:2 - 0 self