activity
20132022
most citedFO Model Checking of Interval Graphs

16 citations · 16 across the 4 of their papers we have counts for

collaborators

5 papers