Regression-Free Synthesis for Concurrency
Journal Article
Overview
publication date
- January 1, 2014
Full Author List
- Cerny P; Henzinger TA; Radhakrishna A; Ryzhyk L; Tarrach T
published in
Additional Document Info
start page
- 568
end page
- 584
volume
- 8559