Michael Vainer

Identifiers

• name variant Michael Vainer 0.60 · backfill

Papers (1)

1. Bounded Termination of Monotonicity-Constraint Transition Systems cs.LO · 2012 · author #2

Mentions

• 1202.4281 #2 · backfill · confidence 0.70 Michael Vainer

Frequent Coauthors

• Amir M. Ben-Amram 1 shared papers