T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” in Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Malaga, Spain, 2002, vol. 2380, pp. 644–656.
LibreCat: https://research-explorer.ista.ac.at/record/4471
DOI: 10.1007/3-540-45465-9_55