[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Regular Transformations of Infinite Strings
Alur, Rajeev, Filiot, Emmanuel, Trivedi, AshutoshYear:
2012
Language:
english
DOI:
10.1109/lics.2012.18
File:
PDF, 294 KB
english, 2012