Skip to content

Optimal Assumptions for Synthesis.

Romain Brenguier

VenueBCONCUR
Year2016
ProceedingsCONCUR

Browse the full CONCUR paper archive.