DMCA

Quantitative synthesis for concurrent programs

Cached

Download Links

by Krishnendu Chatterjee , Thomas A. Henzinger , Rohit Singh
Venue:In CAV 2011, volume 6806 of LNCS
Citations:27 - 8 self