Torsten Blochwitz

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 3

Top Topics

Heterogeneous Environments

Concurrency Control Protocols

Accurate Models

Top Venues

Simul. Notes Eur.

Haifa Verification Conference

Publications