Model Checking Languages of Data Words.

Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar

Browse the full FOSSACS paper archive.