Optimizing Solution Quality in Synchronization Synthesis. Journal Article uri icon

Overview

publication date

  • January 1, 2015

Full Author List

  • CernĂ½ P; Clarke EM; Henzinger TA; Radhakrishna A; Ryzhyk L; Samanta R; Tarrach T

Additional Document Info

volume

  • abs/1511.07163