Regression-Free Synthesis for Concurrency.
Conference Proceeding
Overview
publication date
- January 1, 2014
Full Author List
- CernĂ½ P; Henzinger TA; Radhakrishna A; Ryzhyk L; Tarrach T
Other Profiles
International Standard Book Number (ISBN) 13
- 978-3-319-08866-2
Additional Document Info
start page
- 568
end page
- 584
volume
- 8559