28532 articles – 22057 references  [version française]
.:. Browse > By authors > Narayan Kumar .:.
1 document
fulltext access Model Checking Languages of Data Words
Bollig B., Cyriac A., Gastin P., Narayan Kumar K.
Dans FoSSaCS 2012 (2012) to appear [hal-00658333 - version 1]