Thomas

Advances on timing parameter synthesis in continuous-time formalisms with costs

G. Behrmann, K. Larsen, P. Pettersson, 2019 .

Adaptation of Proofs for Reuse

Thomas, Kolbe, 2001 .

L O ] 5 A pr 2 01 7 Reachability is in DynFO

Thomas, S. Datta, R. Kulkarni, 2018 .

WALDMEISTER : Development of a High PerformanceCompletion { Based Theorem ProverArnim

Thomas, Buch, HillenbrandSEKI, 1996 .