DMCA

Compositional quantitative reasoning (2006)

by Krishnendu Chatterjee , Luca De Alfaro , Marco Faella , Thomas A. Henzinger , Rupak Majumdar
Venue:In Proc. QEST’06
Citations:13 - 3 self