author = { Tentrup, Leander Finkbeiner, Bernd },

title = { Symbolic reactive synthesis },

publisher = {Saarländische Universitäts- und Landesbibliothek},

keywords = { temporal logic , verification , satisfiability problem },

year = {2019},

address = { Saarbrücken },

url = { http://slubdd.de/katalog?TN_libero_mab2 }