activity
20202026
most citedExtended MSO Model Checking via Small Vertex Integrity

5 citations · 5 across the 15 of their papers we have counts for

collaborators
Showing 2025Show all

5 papers · 1 filter