[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Regular Functions and Cost Register Automata
Alur, Rajeev, DAntoni, Loris, Deshmukh, Jyotirmoy, Raghothaman, Mukund, Yuan, YifeiРік:
2013
Мова:
english
DOI:
10.1109/lics.2013.65
Файл:
PDF, 292 KB
english, 2013