DMCA

Assume-guarantee verification for probabilistic systems (2009)

by Marta Kwiatkowska , Gethin Norman , David Parker , Hongyang Qu
Citations:41 - 15 self