Josef Widder

Scopus Author ID ORCID

Publication Activity (10 Years)

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

Top Topics

Artificial Intelligence

Magnetic Resonance

Top Venues

Formal methods in system design

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

Publications

Igor Konnov, Marijana Lazić, Helmut Veith, Josef Widder
Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Formal methods in system design 51 (2) (2017)