Igor Konnov

1PUBLICATIONS
2CO-AUTHORS
Digital processor architectures
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Feb 04, 2020
Para <math></math> : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms.

Igor Konnov, Marijana Lazić, Helmut Veith

Pageof 1

Frequent Collaborators

1 joint publications

Marijana Lazić

1 joint publications

Josef Widder