Thorsten Tarrach

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Top Venues

Formal methods in system design

This page only lists publications with an associated author ORCID identifier.

Publications

Pavol Černý, Edmund M Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal methods in system design 50 (2) (2016)