Fijalkow, N., Ohlmann, P., Ouaknine, J., Pouly, A., & Worrell, J. (2017). Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem. Schloss Dagstuhl.
Lua i Stíl Chicago (17ú heag.)Fijalkow, N., P. Ohlmann, J. Ouaknine, A. Pouly, agus J. Worrell. Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Schloss Dagstuhl, 2017.
Lua MLA (9ú heag.)Fijalkow, N., et al. Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Schloss Dagstuhl, 2017.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.