Synthesis Through Unification
Conference Proceeding
Overview
publication date
- July 18, 2015
Full Author List
- Alur R; Cerny P; Radhakrishna A
published in
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 978-3-319-21667-6
Additional Document Info
start page
- 163
end page
- 179
volume
- 9207