CITATION STYLE
Buchi, J. R., & Landweber, L. H. (1990). Solving Sequential Conditions by Finite-State Strategies. In The Collected Works of J. Richard Büchi (pp. 525–541). Springer New York. https://doi.org/10.1007/978-1-4613-8928-6_29
Mendeley helps you to discover research relevant for your work.