CU Experts
CU:
Home
•
A to Z
•
Campus Map
Home
People
Organizations
Publications
Honors
Research
International
About
Synthesis through Unification.
Journal Article
Overview
Additional Document Info
Overview
CU Boulder Authors
Cerny, Pavol
publication date
January 1, 2015
Full Author List
Alur R; CernĂ½ P; Radhakrishna A
Additional Document Info
volume
abs/1505.05868