Regular Transformations of Infinite Strings Conference Proceeding

• Best Open Access

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• June 25, 2012

has restriction

• green

Date in CU Experts

• September 18, 2017 1:24 AM

Full Author List

• Alur R; Filiot E; Trivedi A

author count

• 3

citation count

• 17

published in

• Proceedings - Symposium on Logic in Computer Science  Journal

presented at event

• 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 1043-6871

Digital Object Identifier (DOI)

• https://doi.org/10.1109/lics.2012.18

Additional Document Info

start page

• 65

end page

• 74