Josef Widder
1PUBLICATIONS
2CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Feb 04, 2020
Para : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms.Igor Konnov, Marijana Lazić, Helmut Veith
Pageof 1
