( en | de | ru )

 

Disambiguierung von "King, Tim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Solving quantified linear arithmetic by counterexample-guided instantiation.

, , und . Formal Methods Syst. Des., 51 (3): 500-532 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Peter King

Harald King

Lorenz King

Oskar King

Rudolf King

 

Weitere Publikationen von Autoren mit dem selben Namen

Managing and using MySQL, , , und . O'Reilly, Sebastopol, CA; Farnham, (2002)Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic.. New York University, USA, (2014)Simplex with sum of infeasibilities for SMT., , und . FMCAD, Seite 189-196. IEEE, (2013)Nursing Home Patient Monitoring System for Improved Healthcare and Outcomes., , , , und . ICCE, Seite 1-4. IEEE, (2024)CVC4., , , , , , , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 171-177. Springer, (2011)MySQL & mSQL, , und . O'Reilly, Beijing u.a., 1. Aufl. Edition, (2000)MySQL & mSQL, , und . O'Reilly, Beijing u.a., 1. ed. Edition, (1999)Research Directions for Distributed Operating Systems.. Process in Distributed Operating Systems and Distributed Systems Management, Volume 433 von Lecture Notes in Computer Science, Seite 197. Springer, (1989)Gaia: An Object-Oriented Framework for an Ada Environment (Extended Abstract)., und . SIGMOD Conference, Seite 206. ACM Press, (1988)SIGMOD Record 17(3), September 1988.FUDGE: fuzz driver generation at scale., , , , , , , , und . ESEC/SIGSOFT FSE, Seite 975-985. ACM, (2019)