Login / Signup
Tobias Brodmann
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Network Model
Genetic Algorithm
Multiscale
Data Flow
Top Venues
NSDI
</>
Publications
</>
Rüdiger Birkner
,
Tobias Brodmann
,
Petar Tsankov
,
Laurent Vanbever
,
Martin T. Vechev
Metha: Network Verifiers Need To Be Correct Too!
NSDI
(2021)