Regression-Free Synthesis for Concurrency Journal Article

Overview

CU Boulder Authors

• Cerny, Pavol

publication date

• January 1, 2014

Full Author List

• Cerny P; Henzinger TA; Radhakrishna A; Ryzhyk L; Tarrach T

published in

• Lecture Notes in Artificial Intelligence  Journal

Additional Document Info

start page

• 568

end page

• 584

volume

• 8559