Synthesis Through Unification Conference Proceeding

Overview

CU Boulder Authors

• Cerny, Pavol

publication date

• July 18, 2015

Full Author List

• Alur R; Cerny P; Radhakrishna A

published in

• Lecture Notes in Artificial Intelligence  Journal

Other Profiles

Digital Object Identifier (DOI)

• 10.1007/978-3-319-21668-3_10

International Standard Book Number (ISBN) 13

• 978-3-319-21667-6

Additional Document Info

start page

• 163

end page

• 179

volume

• 9207