Regression-Free Synthesis for Concurrency. Conference Proceeding

Overview

CU Boulder Authors

• Cerny, Pavol

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