Quantitative assume guarantee synthesis

Jan Oliver Ringert*

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish
Pages (from-to)2
Number of pages1
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume260
DOIs
StatePublished - 28 Nov 2017
Event6th Workshop on Synthesis, SYNT 2017 - Heidelberg, Germany
Duration: 22 Jul 2017 → …

Cite this