Quantitative Assume Guarantee Synthesis
Shaull Almagor‚ Orna Kupferman‚ Jan Oliver Ringert and Yaron Velner
Book Title
Computer Aided Verification − 29th International Conference‚ CAV 2017‚ Heidelberg‚ Germany‚ July 24−28‚ 2017‚ Proceedings‚ Part II
Pages
353–374
Year
2017