TY -
GEN
AU - Tentrup, Leander
AU - Finkbeiner, Bernd
TI -
Symbolic reactive synthesis
PB - Saarländische Universitäts- und Landesbibliothek
KW - temporal logic
KW - verification
KW - satisfiability problem
PY - 2019
CY - Saarbrücken
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -